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