Библиотеки, написанные на OCaml
genType
Автоматическое создание идиоматических привязок между Reason и JavaScript: либо ванильные, либо напечатанные с помощью TypeScript/FlowType..
- 756
- MIT
austral
Системный язык с линейными типами и безопасностью на основе возможностей.
- 735
- Apache License 2.0
ocaml-cohttp
Библиотека OCaml для HTTP-клиентов и серверов, использующих Lwt или Async.
- 636
- GNU General Public License v3.0
angstrom
Комбинаторы парсеров, созданные для скорости и эффективности использования памяти.
- 562
- GNU General Public License v3.0
httpaf
Высокопроизводительный, экономичный и масштабируемый веб-сервер, написанный на OCaml.
- 525
- GNU General Public License v3.0
ocaml-containers
Облегченное модульное расширение стандартной библиотеки, строковая библиотека и интерфейсы к различным библиотекам (unix, threads и т. д.) Лицензия BSD.
- 445
- BSD 2-clause "Simplified"
vult
Vult — это транскомпилятор, хорошо подходящий для написания высокопроизводительного кода DSP.
- 432
- GNU General Public License v3.0
eioio
Прямой ввод-вывод на основе эффектов для многоядерного OCaml.
- 424
- GNU General Public License v3.0
LinearML
Функциональный язык для параллельного программирования.
- 416
- GNU General Public License v3.0
effects-examples
Примеры, иллюстрирующие использование алгебраических эффектов в Multicore OCaml.
- 364
- ISC
karamel
KaRaMeL — это инструмент для преобразования низкоуровневых F*-программ в читаемый код C.
- 360
- Apache License 2.0