ocaml-4.02.3-x86_64-mingw64-installer4-opam.exe


-
ocaml-4.02.3-x86_64-mingw64-installer4-opam.exe ocaml-4.02.3 windows 64位/32位 安装包 Objective Caml(OCaml)是Caml编程语言的主要实现 截至2017.11.14 ocaml最新稳定版本 md5: 0402518b131f32e52cbf1b8457e54730 大小:75.2 MB
-
2020-01-14
64.73MB
Coq 8.8.1 Windows安装包
2018-10-11Github 上提供的 CoqTop Release 的下载速度可能非常慢,这里为网络状况不好的朋友提供一个镜像
1.38MB
ocaml-4.00-refman.pdf
2020-03-28This part of the manual is a tutorial introduction to the OCaml language. A good familiarity with pr
10.53MB
swigwin-3.0.12.zip
2017-10-24SWIG is a software development tool that connects programs written in C and C++ with a variety of hi
3KB
Atom-language-opa-ocaml,OPA-OcAML.zip
2019-09-18Atom-language-opa-ocaml.zip,Opa OCAML-based syntax language support in Atomatom的opa经典语法突出显示。,atom是一个
20KB
Atom-language-ocaml-fix,atom编辑器的ocaml语法定义。对原子的贡献.zip
2019-09-18Atom-language-ocaml-fix.zip,atom编辑器的ocaml语法定义ocaml原子包,atom是一个用web技术构建的开源文本编辑器。
5.38MB
thrift-0.10.0.exe
2017-05-05Thrift是一个软件框架,用来进行可扩展且跨语言的服务的开发。它结合了功能强大的软件堆栈和代码生成引擎,以构建在 C++, Java, Python, PHP, Ruby, Erlang, Perl
4.43MB
安卓语法高亮编辑器HighlightTextEditor.zip
2019-07-19语法高亮 HighlightTextEditor是一个安卓代码语法高亮控件,目前已经支持200多种语言,近90多种主题配色方案,同时支持lua扩展,以及自定义语言配置。强烈推荐,一款不可多得的开源控件
60KB
Algorithm-fiat-shamir-zkp.zip
2019-09-17Algorithm-fiat-shamir-zkp.zip,客户/服务器认证协议fiat-shamir零知识证明系统的ocaml实现,算法是为计算机程序高效、彻底地完成任务而创建的一组详细的准则。
2.65MB
ocaml-3.10.2
2008-09-03ocmal-3.10.2 一种快速、简洁、而强大的应用程序开发语言
21.88MB
Algorithm-parallpairs.zip
2019-09-17Algorithm-parallpairs.zip,ocaml中的并行全对相似性搜索算法,算法是为计算机程序高效、彻底地完成任务而创建的一组详细的准则。
81KB
Arduino-firmata.zip
2019-09-18Arduino-firmata.zip,ocaml库控制像arduinofirmata这样的firmata板,Arduino是一家开源软硬件公司和制造商社区。Arduino始于21世纪初,深受电子制造
40KB
ocaml-usbmux, 按比例,通过USB连接到 iDevices.zip
2019-09-18ocaml-usbmux, 按比例,通过USB连接到 iDevices ocaml-usbmux gandalf这是一个库和 命令行 工具,用于控制端口转发到已经越狱的iOS设备。基本上,它可以让你做
1.75MB
js_of_ocaml, 编译器从OCaml到 Javascript.zip
2019-09-18js_of_ocaml, 编译器从OCaml到 Javascript Js_of_ocaml ( jsoo )Js_of_ocaml是一个编译器从OCaml字节码到 JavaScript 。 它使得在
11.6MB
swigwin-4.0.2.zip
2020-06-23swigwin-4.0.2 windows下swig工具(包含swig.exe) SWIG是个帮助使用C或者C++编写的软件能与其它各种高级编程语言进行嵌入联接的开发工具。SWIG能应用于各种不同类型
13.45MB
opam-repository, OPAM的主 public 包存储库,OCaml的源包管理器.zip
2019-09-18opam-repository, OPAM的主 public 包存储库,OCaml的源包管理器 这个库包含OCaml包和编译器元数据,并由缺省安装 opam插件使用。:如何贡献欢迎捐赠 !CONTRI
251.65MB
infer-linux64-v0.17.0.tar.xz
2020-05-23Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml. Read o
18.54MB
面向OCaml的JavaScriptBuckleScript.zip
2019-07-19Bloomberg开源了BuckleScript,这是一个面向OCaml的JavaScript后端。按照Bloomberg的说法,BuckleScript旨在为任何JavaScript执行引擎带来OC
868KB
libsvm-3.17
2013-06-25支持向量机源码,可在 www.csie.ntu.edu.tw/~cjlin/libsvm/ 下载到最新版本,该版本是 2013年4月更新的,3.17 版。压缩包里面有源代码和文档。以下摘自前述网站:
1.39MB
keystone-0.9.1-python-win64.msi
2019-01-17多层架构,支持ARM,ARM64(ARMv8 AArch64 /)、Hexagon,、MIPS、PowerPC、SPARC、系统的Z,和x86(包括16/32位或64位)。 清洁/简单/轻/直观的体系
8.29MB
Atom-merlin,vim和emacs中ocaml的上下文相关完成.zip
2019-09-18Atom-merlin.zip,vim和emacs中ocaml的上下文相关完成merlin是一个为ocaml提供现代ide特性的编辑器服务。,atom是一个用web技术构建的开源文本编辑器。
691KB
OCaml代码覆盖率测试工具Bisect_ppx.zip
2019-07-19Bisect_ppx 是 OCaml 语言的代码覆盖率测试工具 标签:Bisect
130KB
iocaml, IPython笔记本的OCaml内核.zip
2019-09-18iocaml, IPython笔记本的OCaml内核 IOCamlIOCaml是 notebook笔记本的OCaml内核。 这在web浏览器中提供了一个用户界面,包括基于 Markdown的注释/文档
58.41MB
真实世界的OCaml中文版(高清带书签).pdf
2018-04-20OCaml与众不同的是,它拥有编程语言设计领域中最有利的一点:集效率、有效性和实用性于一身,这是任何其它语言无法比拟的。很大程度上,这是因为OCaml是40多年来开发的很多关键语言特性的完美组合。
118KB
sedlex, Unicode的OCaml lexer生成器.zip
2019-09-18sedlex, Unicode的OCaml lexer生成器 sedlexOCaml的unicode友好lexer生成器。这个软件包是由LexiFi许可的,在MIT许可条款下。联系人:alain.fr
227KB
OCaml硬件设计工具HardCaml.zip
2019-07-17HardCaml 是 OCaml 编写的寄存器传输级硬件设计。HardCaml 是设计硬件的 OCaml 库:使用 OCaml 表达硬件设计使用高需求函数,列表,映射,functors 创建常规设计使
-
博客
RabbitMQ 消息队列六种模式
RabbitMQ 消息队列六种模式
-
学院
【2021】Python3+Selenium3自动化测试(不含框架)
【2021】Python3+Selenium3自动化测试(不含框架)
-
下载
c# 悬浮窗口 带提示框提示 可拖动 类似于迅雷 (源代码)
c# 悬浮窗口 带提示框提示 可拖动 类似于迅雷 (源代码)
-
博客
Haproxy 的 ACL 规则及实战案例
Haproxy 的 ACL 规则及实战案例
-
博客
整合OSS依赖导入后启动报错
整合OSS依赖导入后启动报错
-
博客
苹果系统降级常识
苹果系统降级常识
-
下载
dbeaver-ce-7.3.4-x86_64-setup.exe
dbeaver-ce-7.3.4-x86_64-setup.exe
-
博客
Message Decoding UVA - 213
Message Decoding UVA - 213
-
博客
maven更换下载镜像源-解决下载慢问题
maven更换下载镜像源-解决下载慢问题
-
下载
第14章-RAID磁盘阵列的原理与搭建.docx
第14章-RAID磁盘阵列的原理与搭建.docx
-
学院
21年新消息队列RabbitMQ视频教程AMQP教程
21年新消息队列RabbitMQ视频教程AMQP教程
-
博客
Java基础学习——数组
Java基础学习——数组
-
下载
PHP个人即时到账收款平台源码 竣成码.zip
PHP个人即时到账收款平台源码 竣成码.zip
-
学院
Selenium3分布式与虚拟化
Selenium3分布式与虚拟化
-
下载
MATLAB串口调试助手源代码
MATLAB串口调试助手源代码
-
下载
工具安装列表.wps
工具安装列表.wps
-
博客
看完直接怼项目经理!分享两道阿里P7究极难度算法题,看看这篇文章吧!
看完直接怼项目经理!分享两道阿里P7究极难度算法题,看看这篇文章吧!
-
学院
WPF上位机数据采集与监控系统零基础实战
WPF上位机数据采集与监控系统零基础实战
-
下载
[实验1]双链表与多项式.cpp
[实验1]双链表与多项式.cpp
-
博客
真快乐APP强势开局,国美跑步进入零售下半场
真快乐APP强势开局,国美跑步进入零售下半场
-
下载
基础算法 第9章 第1节 动态规划基础(C++版)-2021.01.24.pdf
基础算法 第9章 第1节 动态规划基础(C++版)-2021.01.24.pdf
-
博客
(三)箭头函数
(三)箭头函数
-
下载
J-STD-001G(焊接的电气和电子组件要求) 与IPC-A-610G(电子组件的可接受性) 的汽车补充标准
J-STD-001G(焊接的电气和电子组件要求) 与IPC-A-610G(电子组件的可接受性) 的汽车补充标准
-
下载
LE55AL88U31 DH1WF0A0401.zip
LE55AL88U31 DH1WF0A0401.zip
-
下载
qt-everywhere-src-5.12.9.tar.xz
qt-everywhere-src-5.12.9.tar.xz
-
学院
第1章 Java入门基础及环境搭建【java编程进阶】
第1章 Java入门基础及环境搭建【java编程进阶】
-
博客
看完全都会了!阿里面试100%会问到的JVM,已拿到offer
看完全都会了!阿里面试100%会问到的JVM,已拿到offer
-
下载
CMake Practice.pdf
CMake Practice.pdf
-
下载
agent2d-3.1.1.tar.gz
agent2d-3.1.1.tar.gz
-
下载
1-15-LVM管理.docx
1-15-LVM管理.docx