Biblioteki napisane w OCaml

redtt

„Między ciemnością a świtem wznosi się czerwony sześcian!”: pomocnik dowodzący teorii kartezjańskich typów sześciennych.
  • 194
  • Apache License 2.0

FaCT

Elastyczny i stały język programowania czasu.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Biblioteka wykonania asynchronicznego Jane Street Capital (autor: janestreet).
  • 182
  • MIT

ocaml5-tutorial

Praktyczny samouczek dotyczący nowych funkcji równoległości w OCaml 5.
  • 182
  • MIT

morbig

Statyczny parser dla powłoki POSIX.
  • 181
  • GNU General Public License v3.0

C11parser

Poprawny parser C89/C90/C99/C11/C18 napisany przy użyciu Menhir i OCaml.
  • 174
  • GNU General Public License v3.0

patoline

System składu Patoline.
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

Generator parametryczny do projektowania dzielonych, wklęsłych, ergonomicznych klawiatur napisanych w ocaml..
  • 170
  • GNU Affero General Public License v3.0

drom

drom jest nakładką na opam/dune, mającą na celu zapewnienie wrażenia użytkownika podobnego do ładunku. Może być używany do tworzenia pełnych projektów OCaml z dokumentacją sphinx i odoc. Ma szczegółową wiedzę na temat Github i wygeneruje pliki dla stron Github Actions CI i Github.
  • 165
  • GNU General Public License v3.0

mlang

Kompilator dla języka M, służący do obliczania podatku dochodowego podatników francuskich.
  • 160
  • GNU General Public License v3.0 only

lablqml

Interfejs Qt/QML z OCamlem. Dawniej znany jako lablqt.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

narzędzie do tworzenia urządzeń supermin (dawniej febootstrap). PROSZĘ NIE UŻYWAĆ GITHUBA DO ROZWIĄZYWANIA PROBLEMÓW LUB PRÓB PULL. Odwiedź witrynę internetową, aby dowiedzieć się, jak zgłosić błąd lub skontaktować się z nami. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

Wiązania OCaml dla Pythona.
  • 154
  • BSD 2-clause "Simplified"

domainslib

Programowanie równoległe w domenach.
  • 144
  • ISC

sexplib

Automatyczna konwersja S-wyrażenia.
  • 141
  • MIT

postgresql-ocaml

Powiązania OCaml dla bazy danych PostgreSQL.
  • 138
  • GNU General Public License v3.0

jsoo-react

Wiązania js_of_ocaml dla ReactJS. Na podstawie ReasonReact..
  • 136
  • MIT

preface

Preface to opiniotwórcza biblioteka zaprojektowana w celu ułatwienia obsługi powtarzających się idiomów programowania funkcyjnego w OCaml.
  • 132
  • MIT

reagents

Odczynniki do wielordzeniowego OCamla.
  • 126
  • ISC

opam-monorepo

Zbuduj obszary robocze wydm, aby zbudować swój projekt i jego zależności jako całość.
  • 126
  • ISC

ocurrent

Zapewnia aktualność (potok CI/CD OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

Zainspirowany Livesplitem timer do szybkiego biegania dla terminali Linux/macOS. Obsługuje globalne skróty klawiszowe. (przez aleksozera).
  • 124
  • MIT

stanc3

Transpiler Stana (od Stana do C++ i dalej).
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ Zero bzdur.
  • 116
  • Mozilla Public License 2.0

lua-ml

Wbudowany interpreter Lua 2.5 zaimplementowany w OCaml.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Ładne parsery w OCaml bez płyty kotłowej.
  • 115
  • MIT

coq-serapi

Coq Protocol Playground z se(xp)rializacją struktur wewnętrznych.
  • 114
  • GNU General Public License v3.0

streaming

Szybkie, bezpieczne i komponowalne abstrakcje strumieniowe. (przez odis-labs).
  • 105
  • ISC

sqlite3-ocaml

Powiązania OCaml z bazą danych SQLite3.
  • 104
  • GNU General Public License v3.0

iter

Prosty abstrakcyjny typ danych iteratora, przeznaczony do wydajnej iteracji kolekcji podczas wykonywania niektórych przekształceń. (przez c-cube).
  • 102
  • BSD 2-clause "Simplified"