Knižnice napísané v OCamle

redtt

"Medzi tmou a úsvitom stúpa červená kocka!": dôkazový asistent pre teóriu karteziánskeho kubického typu.
  • 194
  • Apache License 2.0

FaCT

Flexibilný a konštantný programovací jazyk.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Asynchrónna exekučná knižnica Jane Street Capital (od janestreet).
  • 182
  • MIT

ocaml5-tutorial

Praktický návod na nové funkcie paralelizmu v OCaml 5.
  • 182
  • MIT

morbig

Statický analyzátor pre POSIX Shell.
  • 181
  • GNU General Public License v3.0

C11parser

Správny analyzátor C89/C90/C99/C11/C18 napísaný pomocou Menhir a OCaml.
  • 174
  • GNU General Public License v3.0

patoline

Patolínový sádzací systém.
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

Parametrický generátor na navrhovanie rozdelených, konkávnych, ergonomických klávesníc napísaných v ocaml..
  • 170
  • GNU Affero General Public License v3.0

drom

drom je obal cez opam/dune v snahe poskytnúť užívateľský zážitok podobný nákladu. Môže sa použiť na vytváranie úplných projektov OCaml s dokumentáciou sfingy a odoc. Má špecifické znalosti o Github a vygeneruje súbory pre Github Actions CI a stránky Github.
  • 165
  • GNU General Public License v3.0

mlang

Kompilátor pre jazyk M, ktorý sa používa na výpočet dane z príjmu francúzskych daňovníkov.
  • 160
  • GNU General Public License v3.0 only

lablqml

Prepojenie Qt/QML s OCaml. Predtým známy ako lablqt.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

nástroj na vytváranie supermin zariadení (predtým nazývaný febootstrap). PROSÍM, NEPOUŽÍVAJTE GITHUB NA PROBLÉMY ALEBO VYŤAHOVANÉ POŽIADAVKY. Pozrite si webovú stránku, kde nájdete informácie o tom, ako nahlásiť chybu, alebo nás kontaktujte. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

Väzby OCaml pre Python.
  • 154
  • BSD 2-clause "Simplified"

domainslib

Paralelné programovanie cez domény.
  • 144
  • ISC

sexplib

Automatizovaná konverzia S-výrazu.
  • 141
  • MIT

postgresql-ocaml

Väzby OCaml pre databázu PostgreSQL.
  • 138
  • GNU General Public License v3.0

jsoo-react

js_of_ocaml väzby pre ReactJS. Na základe ReasonReact..
  • 136
  • MIT

preface

Predslov je názorná knižnica navrhnutá tak, aby uľahčila prácu s opakujúcimi sa funkčnými programovacími idiómami v OCaml.
  • 132
  • MIT

reagents

Reagencie pre viacjadrové OCaml.
  • 126
  • ISC

opam-monorepo

Zostavte pracovné priestory duny a vytvorte svoj projekt a jeho závislosti ako celok.
  • 126
  • ISC

ocurrent

Udržuje veci aktuálne (CI/CD kanál OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

Speedrunning split timer inšpirovaný Livesplit pre terminál Linux/macOS. Podporuje globálne klávesové skratky. (pomocou alexozera).
  • 124
  • MIT

stanc3

Transpiler Stan (zo Stana do C++ a ďalej)..
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ Nulová blbosť.
  • 116
  • Mozilla Public License 2.0

lua-ml

Zabudovateľný tlmočník Lua 2.5 implementovaný v OCaml.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Pekné analyzátory v OCaml bez štandardnej verzie.
  • 115
  • MIT

coq-serapi

Coq Protocol Playground so Se(xp)rializáciou vnútorných štruktúr.
  • 114
  • GNU General Public License v3.0

streaming

Rýchle, bezpečné a skladateľné streamingové abstrakcie. (odis-labs).
  • 105
  • ISC

sqlite3-ocaml

Väzby OCaml na databázu SQLite3.
  • 104
  • GNU General Public License v3.0

iter

Jednoduchý abstraktný dátový typ iterátora určený na efektívne iterovanie v kolekciách pri vykonávaní niektorých transformácií. (podľa c-kocky).
  • 102
  • BSD 2-clause "Simplified"