Библиотеки, написанные на OCaml
yojson
Библиотека низкоуровневого синтаксического анализа и красивой печати JSON для OCaml.
- 283
- BSD 3-clause "New" or "Revised"
bs-json
Библиотека композиционного кодирования/декодирования JSON для BuckleScript.
- 273
- GNU Lesser General Public License v3.0 only
GeneWeb
GeneWeb — это бесплатное (как в случае со свободой слова) программное обеспечение для генеалогии с веб-интерфейсом, созданное Даниэлем де Роглодром.
- 262
- GNU General Public License v3.0 only
ocaml-caqti
Совместно-поточный доступ к реляционным данным.
- 255
- GNU Lesser General Public License v3.0 only
parallel-programming-in-multicore-ocaml
Учебник по многоядерному параллельному программированию OCaml с domainslib.
- 252
- ISC
scilla
Scilla — язык промежуточного уровня смарт-контрактов (от Zilliqa).
- 239
- GNU General Public License v3.0 only
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