Библиотеки, написани на 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 Shell.
  • 181
  • GNU General Public License v3.0

C11parser

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

patoline

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

dometyl-keyboard

Параметричен генератор за проектиране на разделени, вдлъбнати, ергономични клавиатури, написани на ocaml..
  • 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

инструмент за създаване на суперминимум уреди (по-рано наричан 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

Предговорът е убедена библиотека, предназначена да улесни обработката на повтарящи се идиоми за функционално програмиране в OCaml..
  • 132
  • MIT

reagents

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

opam-monorepo

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

ocurrent

Поддържа нещата актуални (CI/CD тръбопровод OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

Вдъхновен от Livesplit скоростен разделен таймер за Linux/macOS терминал. Поддържа глобални клавишни комбинации. (от alexozer).
  • 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 Protocol Playground със Se(xp)риализация на вътрешните структури..
  • 114
  • GNU General Public License v3.0

streaming

Бързи, безопасни и композируеми стрийминг абстракции. (от odis-labs).
  • 105
  • ISC

sqlite3-ocaml

OCaml свързвания към базата данни SQLite3.
  • 104
  • GNU General Public License v3.0

iter

Абстрактен тип данни на прост итератор, предназначен за ефективно итериране на колекции, докато извършва някои трансформации. (от c-cube).
  • 102
  • BSD 2-clause "Simplified"