Biblioteke napisane u OCamlu

redtt

"Između tame i zore, crvena kocka se diže!": pomoćnik za dokaz za teoriju kartezijanskog kubičnog tipa.
  • 194
  • Apache License 2.0

FaCT

Fleksibilni programski jezik s konstantnim vremenom.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Knjižnica za asinkrono izvršavanje Jane Street Capital (autor janestreet).
  • 182
  • MIT

ocaml5-tutorial

Praktični vodič o novim značajkama paralelizma u OCamlu 5.
  • 182
  • MIT

morbig

Statički parser za POSIX Shell.
  • 181
  • GNU General Public License v3.0

C11parser

Ispravan C89/C90/C99/C11/C18 parser napisan korištenjem Menhir i OCaml.
  • 174
  • GNU General Public License v3.0

patoline

Patolinski sustav slaganja.
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

Parametarski generator za dizajniranje podijeljenih, konkavnih, ergonomskih tipkovnica napisanih u ocaml..
  • 170
  • GNU Affero General Public License v3.0

drom

drom je omot preko opam/dune u pokušaju pružanja korisničkog iskustva nalik teretu. Može se koristiti za izradu potpunih OCaml projekata sa sphinx i odoc dokumentacijom. Ima specifično znanje o Githubu i generiraće datoteke za Github Actions CI i Github stranice.
  • 165
  • GNU General Public License v3.0

mlang

Kompilator za jezik M, koji se koristi za izračunavanje poreza na dohodak francuskih poreznih obveznika.
  • 160
  • GNU General Public License v3.0 only

lablqml

Sučelje Qt/QML s OCamlom. Prethodno poznat kao lablqt.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

alat za izradu supermin uređaja (ranije zvan febootstrap). MOLIMO VAS NE KORISTITE GITHUB ZA PROBLEME ILI ZAHTJEVE ZA POVLAČENJEM. Pogledajte web stranicu kako prijaviti bug ili nas kontaktirajte. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

OCaml povezivanja za Python.
  • 154
  • BSD 2-clause "Simplified"

domainslib

Paralelno programiranje preko domena.
  • 144
  • ISC

sexplib

Automatizirana pretvorba S-izraza.
  • 141
  • MIT

postgresql-ocaml

OCaml-vezivanja za PostgreSQL bazu podataka.
  • 138
  • GNU General Public License v3.0

jsoo-react

js_of_ocaml povezivanja za ReactJS. Na temelju ReasonReact..
  • 136
  • MIT

preface

Predgovor je samouvjerena biblioteka osmišljena da olakša rukovanje ponavljajućim idiomima funkcionalnog programiranja u OCaml-u.
  • 132
  • MIT

reagents

Reagensi za multicore OCaml.
  • 126
  • ISC

opam-monorepo

Sastavite dune radne prostore kako biste izgradili svoj projekt i njegove ovisnosti u cjelini.
  • 126
  • ISC

ocurrent

Održava stvari ažurnima (CI/CD cjevovod OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

Speedrunning split timer inspiriran Livesplitom za Linux/macOS terminal. Podržava globalne prečace. (autor alexozer).
  • 124
  • MIT

stanc3

Stan transpiler (od Stana do C++ i dalje)..
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ Bez sranja.
  • 116
  • Mozilla Public License 2.0

lua-ml

Tumač Lua 2.5 koji se može ugraditi implementiran u OCaml.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Lijepi parseri u OCaml-u bez predloška.
  • 115
  • MIT

coq-serapi

Igralište Coq protokola sa se(xp)rijalizacijom unutarnjih struktura..
  • 114
  • GNU General Public License v3.0

streaming

Brze, sigurne i komponljive strujanje apstrakcije. (od odis-labs).
  • 105
  • ISC

sqlite3-ocaml

OCaml vezanja na SQLite3 bazu podataka.
  • 104
  • GNU General Public License v3.0

iter

Jednostavni apstraktni tip podataka iteratora, namijenjen učinkovitom ponavljanju zbirki uz izvođenje nekih transformacija. (kod c-kocke).
  • 102
  • BSD 2-clause "Simplified"