平台
编程语言
TypeScript
C++
C
Go
Rust
C#
Shell
Java
HTML
Lua
PHP
Jupyter Notebook
Ruby
Kotlin
Swift
CSS
Dart
Emacs Lisp
Vim Script
SCSS
Vue
Haskell
Makefile
Scala
Svelte
Perl
Clojure
Batchfile
Dockerfile
Objective-C
Nix
GDScript
Assembly
TeX
Common Lisp
R
Elixir
Solidity
Nim
Markdown
Zig
HCL
Logos
AutoHotkey
Jinja
Julia
Pascal
OCaml
Scheme
JavaScript
ZH
RU
DE
ZH
ES
PT
MS
FR
FA
KO
TR
PL
CS
SV
SK
BG
SL
DA
HR
AR
HU
NL
IND
IT
EL
VI
TH
HE
Home
用 OCaml 编写的库
sihl
模块化的功能性网络框架。
339
MIT
ocaml-ctypes
使用纯 OCaml 绑定到 C 库的库。
337
MIT
notty
OCaml 的声明性终端图形(由 pqwy 提供)。
323
ISC
bamboo
Bamboo 参见 https://github.com/cornellblockchain/bamboo (由 pirapira 提供)。
318
Apache License 2.0
bonsai
使用 Js_of_ocaml 构建动态 Web 应用程序的库。
305
MIT
vscode-ocaml-platform
OCaml 的 Visual Studio Code 扩展。
298
ISC
soupault
基于HTML元素树重写的静态网站生成器。
294
MIT
ocaml-h2
用纯 OCaml 编写的 HTTP/2 实现。
287
BSD 3-clause "New" or "Revised"
bisect_ppx
OCaml 和 ReScript 的代码覆盖率。
283
MIT
yojson
OCaml 的低级 JSON 解析和漂亮打印库。
283
BSD 3-clause "New" or "Revised"
bs-json
BuckleScript 的组合式 JSON 编码/解码库。
273
GNU Lesser General Public License v3.0 only
re-web
ReasonML 和 OCaml 的实验性 Web 框架。
264
MIT
GeneWeb
GeneWeb 是一款免费(如自由言论)家谱软件,具有由 Daniel de Rauglaudre 创建的 Web 界面。
262
GNU General Public License v3.0 only
ocaml-jupyter
Jupyter (IPython) 笔记本的 OCaml 内核。
258
MIT
1ml
1ML原型解释器。
255
Apache License 2.0
ocaml-caqti
对关系数据的协作线程访问。
255
GNU Lesser General Public License v3.0 only
parallel-programming-in-multicore-ocaml
使用domainslib进行多核OCaml并行编程的教程。
252
ISC
bsb-native
为 OCaml/Reason 构建系统。
244
GNU General Public License v3.0
scilla
Scilla - 智能合约中级语言(由 Zilliqa 提供)。
239
GNU General Public License v3.0 only
ocaml-webmachine
OCaml 的 REST 工具包。
222
GNU General Public License v3.0
mldonkey
跨平台多网络 p2p 守护进程。
217
GNU General Public License v3.0
coq-of-ocaml
OCaml 的形式化验证。
215
MIT
sedlex
用于 Unicode 的 OCaml 词法分析器生成器。
212
MIT
coq2rust
Coq 到 Rust 程序提取。整个树都基于原始 Coq 代码库。
212
GNU Lesser General Public License v3.0 only
ocaml-re
纯 OCaml 正则表达式,支持 Perl 和 POSIX 风格的字符串。
206
GNU General Public License v3.0
extprot
extprot:用于跨语言通信和长期序列化的可扩展二进制协议。
203
GNU General Public License v3.0
plotkicadsch
该项目的目标是能够将 Kicad Sch 文件导出为结构化图片文件(由 jnavila 提供)。
201
GNU General Public License v3.0
cooltt
😎TT。
201
Apache License 2.0
qubes-mirage-firewall
适用于 QubesOS 的 Mirage 防火墙虚拟机。
195
c2bf
编译器从 C 到 Brainfuck。
194
GNU General Public License v3.0 only
«
Previous
1
2
3
(current)
4
5
6
7
»
Next