Библиотеки, написанные на OCaml

redtt

«Между тьмой и рассветом возвышается красный куб!»: помощник по доказательству декартовой теории кубического типа.
  • 194
  • Apache License 2.0

FaCT

Гибкий язык программирования с постоянным временем.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Библиотека асинхронного исполнения Jane Street Capital (от janestreet).
  • 182
  • MIT

ocaml5-tutorial

Практическое руководство по новым функциям параллелизма в OCaml 5.
  • 182
  • MIT

morbig

Статический парсер для оболочки POSIX.
  • 181
  • GNU General Public License v3.0

C11parser

Правильный синтаксический анализатор C89/C90/C99/C11/C18, написанный с использованием Menhir и OCaml.
  • 174
  • GNU General Public License v3.0

patoline

Система набора текста Patoline.
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

Параметрический генератор для проектирования разделенных, вогнутых, эргономичных клавиатур, написанных на окамл..
  • 170
  • GNU Affero General Public License v3.0

drom

drom представляет собой оболочку над opam/dune в попытке обеспечить пользовательский опыт, похожий на грузовой. Его можно использовать для создания полноценных проектов OCaml с документацией sphinx и odoc. Он обладает специальными знаниями о Github и будет генерировать файлы для Github Actions CI и страниц Github.
  • 165
  • GNU General Public License v3.0

mlang

Компилятор для языка M, используемый для расчета подоходного налога французских налогоплательщиков.
  • 160
  • GNU General Public License v3.0 only

lablqml

Взаимодействие Qt/QML с OCaml. Ранее известный как lablqt.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

инструмент для создания устройств supermin (ранее назывался febootstrap). ПОЖАЛУЙСТА, НЕ ИСПОЛЬЗУЙТЕ GITHUB ДЛЯ ПРОБЛЕМ ИЛИ ЗАПРОСОВ. Посетите веб-сайт, чтобы узнать, как сообщить об ошибке, или свяжитесь с нами. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

Привязки OCaml для Python.
  • 154
  • BSD 2-clause "Simplified"

domainslib

Параллельное программирование над доменами.
  • 144
  • ISC

sexplib

Автоматическое преобразование S-выражения.
  • 141
  • MIT

postgresql-ocaml

OCaml-привязки для базы данных PostgreSQL.
  • 138
  • GNU General Public License v3.0

jsoo-react

привязки js_of_ocaml для ReactJS. На основе ReasonReact..
  • 136
  • MIT

preface

Preface — это самоуверенная библиотека, предназначенная для облегчения обработки повторяющихся идиом функционального программирования в OCaml.
  • 132
  • MIT

reagents

Реагенты для многоядерного OCaml.
  • 126
  • ISC

opam-monorepo

Соберите рабочие пространства dune для создания вашего проекта и его зависимостей в целом.
  • 126
  • ISC

ocurrent

Поддерживает актуальность (конвейер CI/CD OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

Сплит-таймер, вдохновленный Livesplit, для терминала Linux/macOS. Поддерживает глобальные горячие клавиши. (алексозер).
  • 124
  • MIT

stanc3

Транспилятор Stan (из Stan в C++ и далее).
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ Нулевой чушь мерзавец.
  • 116
  • Mozilla Public License 2.0

lua-ml

Встраиваемый интерпретатор Lua 2.5, реализованный на OCaml.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Хорошие парсеры в OCaml без шаблонов.
  • 115
  • MIT

coq-serapi

Площадка протокола Coq с Se(xp)риализацией внутренних структур.
  • 114
  • GNU General Public License v3.0

streaming

Быстрые, безопасные и компонуемые потоковые абстракции. (одис-лабс).
  • 105
  • ISC

sqlite3-ocaml

Привязки OCaml к базе данных SQLite3.
  • 104
  • GNU General Public License v3.0

iter

Простой абстрактный тип данных итератора, предназначенный для эффективной итерации коллекций при выполнении некоторых преобразований. (по с-кубу).
  • 102
  • BSD 2-clause "Simplified"