Библиотеки, написани на OCaml
redtt
„Между тъмнината и зората се издига червен куб!“: помощник за доказателство за теорията на картезианския кубичен тип.
- 194
- Apache License 2.0
C11parser
Правилен парсер C89/C90/C99/C11/C18, написан с помощта на Menhir и OCaml.
- 174
- GNU General Public License v3.0
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
preface
Предговорът е убедена библиотека, предназначена да улесни обработката на повтарящи се идиоми за функционално програмиране в OCaml..
- 132
- MIT
opam-monorepo
Сглобете работни пространства за дюни, за да изградите своя проект и неговите зависимости като цяло.
- 126
- ISC
flitter
Вдъхновен от Livesplit скоростен разделен таймер за Linux/macOS терминал. Поддържа глобални клавишни комбинации. (от alexozer).
- 124
- MIT
coq-serapi
Coq Protocol Playground със Se(xp)риализация на вътрешните структури..
- 114
- GNU General Public License v3.0
iter
Абстрактен тип данни на прост итератор, предназначен за ефективно итериране на колекции, докато извършва някои трансформации. (от c-cube).
- 102
- BSD 2-clause "Simplified"