Knjižnice, napisane v OCamlu

redtt

"Med temo in zoro se dviga rdeča kocka!": dokazni pomočnik za teorijo kartezičnega kubičnega tipa.
  • 194
  • Apache License 2.0

FaCT

Prilagodljiv in konstanten časovni programski jezik.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Knjižnica za asinhrono izvajanje Jane Street Capital (avtor janestreet).
  • 182
  • MIT

ocaml5-tutorial

Praktična vadnica o novih funkcijah paralelizma v OCaml 5.
  • 182
  • MIT

morbig

Statični razčlenjevalnik za POSIX Shell.
  • 181
  • GNU General Public License v3.0

C11parser

Pravilen razčlenjevalnik C89/C90/C99/C11/C18, napisan z uporabo Menhir in OCaml.
  • 174
  • GNU General Public License v3.0

patoline

Patolin sistem stavljenja.
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

Parametrični generator za oblikovanje deljenih, konkavnih, ergonomskih tipkovnic, napisanih v ocaml..
  • 170
  • GNU Affero General Public License v3.0

drom

drom je ovoj nad opam/dune v poskusu zagotavljanja uporabniške izkušnje, podobne tovoru. Uporablja se lahko za ustvarjanje polnih projektov OCaml z dokumentacijo sphinx in odoc. Ima posebno znanje o Githubu in bo ustvaril datoteke za Github Actions CI in strani Github.
  • 165
  • GNU General Public License v3.0

mlang

Prevajalnik za jezik M, ki se uporablja za izračun dohodnine francoskih davkoplačevalcev.
  • 160
  • GNU General Public License v3.0 only

lablqml

Povezovanje Qt/QML z OCaml. Prej znan kot lablqt.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

orodje za ustvarjanje supermin naprav (prej imenovano febootstrap). PROSIMO, NE UPORABLJAJTE GITHUBA ZA TEŽAVE ALI ZAHTEVE ZA PULL. Oglejte si spletno stran za informacije o prijavi hrošča ali pa nas kontaktirajte. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

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

domainslib

Vzporedno programiranje preko domen.
  • 144
  • ISC

sexplib

Samodejna pretvorba S-izrazov.
  • 141
  • MIT

postgresql-ocaml

OCaml-veze za bazo podatkov PostgreSQL.
  • 138
  • GNU General Public License v3.0

jsoo-react

js_of_ocaml vezave za ReactJS. Na podlagi ReasonReact..
  • 136
  • MIT

preface

Predgovor je avtorska knjižnica, zasnovana za olajšanje ravnanja s ponavljajočimi se idiomi funkcionalnega programiranja v OCaml.
  • 132
  • MIT

reagents

Reagenti za večjedrne OCaml.
  • 126
  • ISC

opam-monorepo

Sestavite delovne prostore dune, da zgradite svoj projekt in njegove odvisnosti kot celoto.
  • 126
  • ISC

ocurrent

Ohranja stvari posodobljene (cevovod CI/CD OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

Vmesni časovnik, ki ga je navdihnil Livesplit, za terminal Linux/macOS. Podpira globalne hitre tipke. (avtor alexozer).
  • 124
  • MIT

stanc3

Transpiler Stan (od Stana do C++ in naprej)..
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ Nič sranja.
  • 116
  • Mozilla Public License 2.0

lua-ml

Vdelani tolmač Lua 2.5, implementiran v OCaml.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Lepi razčlenjevalniki v OCaml brez predloge.
  • 115
  • MIT

coq-serapi

Protokolno igrišče Coq s se(xp)rializacijo notranjih struktur..
  • 114
  • GNU General Public License v3.0

streaming

Hitre, varne in sestavljive pretočne abstrakcije. (od odis-labs).
  • 105
  • ISC

sqlite3-ocaml

Povezave OCaml z bazo podatkov SQLite3.
  • 104
  • GNU General Public License v3.0

iter

Abstraktni podatkovni tip preprostega iteratorja, namenjen učinkovitemu ponavljanju zbirk med izvajanjem nekaterih transformacij. (z c-kocko).
  • 102
  • BSD 2-clause "Simplified"