coq ext lib:Coq定义定理和策略的库。 [maintainers = @ gmalecha@ liyishuai] 源码

介绍 这是RealmsMUD的核心库。 它是用LPC编写的,目标是LDMud驱动程序( 撰写本文时为3.6.X)。 该项目的目标是双重的:首先,进入迷人的LP MUD世界存在障碍。 在典型的LP MU

CAS库 // algo const { algo } = require('cas-common-lib'); // caxios const { caxios } = require('cas-c

@ alrale / common-lib 常用功能 小工具 正在安装 $ yarn add @ alrale / common - lib 功能 /** object -> string -&

铃声类库 这是振铃类库,此文件包含有关安装和使用该库的一些说明。 介绍 铃声类库是C ++类的集合,这些类代表使用英语更改铃声学习的对象。这些包括行,更改,方法和方法库。该项目的主页可以在上找到,该页

tesseract_dll_lib_vs2008编译好的dll库和lib文件,包含以下文件：libtesseract302-static-debug.liblibtesseract302-static

齿轮库 English | 这是基本库的集合。 所有内容均以POSIX C编写,旨在在Linux,Windows,Android,iOS上使用兼容。 旨在重用于物联网,嵌入式和网络服务开发 数据结构

QtXlsx开源库编译好的静态库lib和动态库dllwin7下vs2010+qt5.5使用QtXlsx开源库

开放式智能手表 一个处理数学,动画,转换和绘图的库。 桌面编译支持 您可以在桌面上开发2D内容,请参见examples/的Readme.md。 这大大加快了ui的开发速度。

scala-smtlib:用于解析和打印SMT-LIB格式的Scala库

Blynk Python库 该库提供用于将支持Micropython / Python的IoT硬件连接到Blynk Cloud并与Blynk应用程序(iOS和Android)通信的API。 您可以发送