Coq 8.8.1 Windows安装包

Github 上提供的 CoqTop Release 的下载速度可能非常慢，这里为网络状况不好的朋友提供一个镜像

ocaml-4.00-refman.pdf

This part of the manual is a tutorial introduction to the OCaml language. A good familiarity with pr

swigwin-3.0.12.zip

SWIG is a software development tool that connects programs written in C and C++ with a variety of hi

Atom-language-opa-ocaml,OPA-OcAML.zip

Atom-language-opa-ocaml.zip,Opa OCAML-based syntax language support in Atomatom的opa经典语法突出显示。,atom是一个

Atom-language-ocaml-fix,atom编辑器的ocaml语法定义。对原子的贡献.zip

Atom-language-ocaml-fix.zip,atom编辑器的ocaml语法定义ocaml原子包,atom是一个用web技术构建的开源文本编辑器。

thrift-0.10.0.exe

Thrift是一个软件框架，用来进行可扩展且跨语言的服务的开发。它结合了功能强大的软件堆栈和代码生成引擎，以构建在 C++, Java, Python, PHP, Ruby, Erlang, Perl

安卓语法高亮编辑器HighlightTextEditor.zip

语法高亮 HighlightTextEditor是一个安卓代码语法高亮控件，目前已经支持200多种语言，近90多种主题配色方案，同时支持lua扩展，以及自定义语言配置。强烈推荐，一款不可多得的开源控件

Algorithm-fiat-shamir-zkp.zip

Algorithm-fiat-shamir-zkp.zip,客户/服务器认证协议fiat-shamir零知识证明系统的ocaml实现,算法是为计算机程序高效、彻底地完成任务而创建的一组详细的准则。

ocaml-3.10.2

ocmal-3.10.2 一种快速、简洁、而强大的应用程序开发语言

Algorithm-parallpairs.zip

Algorithm-parallpairs.zip,ocaml中的并行全对相似性搜索算法,算法是为计算机程序高效、彻底地完成任务而创建的一组详细的准则。

Arduino-firmata.zip

Arduino-firmata.zip,ocaml库控制像arduinofirmata这样的firmata板,Arduino是一家开源软硬件公司和制造商社区。Arduino始于21世纪初，深受电子制造

ocaml-usbmux, 按比例，通过USB连接到 iDevices.zip

ocaml-usbmux, 按比例，通过USB连接到 iDevices ocaml-usbmux gandalf这是一个库和 命令行 工具，用于控制端口转发到已经越狱的iOS设备。基本上，它可以让你做

js_of_ocaml, 编译器从OCaml到 Javascript.zip

js_of_ocaml, 编译器从OCaml到 Javascript Js_of_ocaml ( jsoo )Js_of_ocaml是一个编译器从OCaml字节码到 JavaScript 。 它使得在

swigwin-4.0.2.zip

swigwin-4.0.2 windows下swig工具（包含swig.exe） SWIG是个帮助使用C或者C++编写的软件能与其它各种高级编程语言进行嵌入联接的开发工具。SWIG能应用于各种不同类型

opam-repository, OPAM的主 public 包存储库，OCaml的源包管理器.zip

opam-repository, OPAM的主 public 包存储库，OCaml的源包管理器 这个库包含OCaml包和编译器元数据，并由缺省安装 opam插件使用。：如何贡献欢迎捐赠 ！CONTRI

infer-linux64-v0.17.0.tar.xz

Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml. Read o

面向OCaml的JavaScriptBuckleScript.zip

Bloomberg开源了BuckleScript，这是一个面向OCaml的JavaScript后端。按照Bloomberg的说法，BuckleScript旨在为任何JavaScript执行引擎带来OC

libsvm-3.17

支持向量机源码，可在 www.csie.ntu.edu.tw/~cjlin/libsvm/ 下载到最新版本，该版本是 2013年4月更新的，3.17 版。压缩包里面有源代码和文档。以下摘自前述网站：

keystone-0.9.1-python-win64.msi

多层架构，支持ARM，ARM64（ARMv8 AArch64 /）、Hexagon,、MIPS、PowerPC、SPARC、系统的Z，和x86（包括16/32位或64位）。 清洁/简单/轻/直观的体系

Atom-merlin,vim和emacs中ocaml的上下文相关完成.zip

Atom-merlin.zip,vim和emacs中ocaml的上下文相关完成merlin是一个为ocaml提供现代ide特性的编辑器服务。,atom是一个用web技术构建的开源文本编辑器。

OCaml代码覆盖率测试工具Bisect_ppx.zip

Bisect_ppx 是 OCaml 语言的代码覆盖率测试工具 标签：Bisect

iocaml, IPython笔记本的OCaml内核.zip

iocaml, IPython笔记本的OCaml内核 IOCamlIOCaml是 notebook笔记本的OCaml内核。 这在web浏览器中提供了一个用户界面，包括基于 Markdown的注释/文档

真实世界的OCaml中文版(高清带书签).pdf

OCaml与众不同的是，它拥有编程语言设计领域中最有利的一点：集效率、有效性和实用性于一身，这是任何其它语言无法比拟的。很大程度上，这是因为OCaml是40多年来开发的很多关键语言特性的完美组合。

sedlex, Unicode的OCaml lexer生成器.zip

sedlex, Unicode的OCaml lexer生成器 sedlexOCaml的unicode友好lexer生成器。这个软件包是由LexiFi许可的，在MIT许可条款下。联系人：alain.fr

OCaml硬件设计工具HardCaml.zip

HardCaml 是 OCaml 编写的寄存器传输级硬件设计。HardCaml 是设计硬件的 OCaml 库：使用 OCaml 表达硬件设计使用高需求函数，列表，映射，functors 创建常规设计使