Knihovny napsané v OCamlu

redtt

"Mezi tmou a úsvitem stoupá červená krychle!": důkazní asistent pro kartézskou teorii kubických typů.
  • 194
  • Apache License 2.0

FaCT

Flexibilní programovací jazyk s konstantním časem.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Knihovna asynchronního provádění Jane Street Capital (od janestreet).
  • 182
  • MIT

ocaml5-tutorial

Praktický tutoriál o nových funkcích paralelismu v OCaml 5.
  • 182
  • MIT

morbig

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

C11parser

Správný analyzátor C89/C90/C99/C11/C18 napsaný pomocí Menhir a OCaml.
  • 174
  • GNU General Public License v3.0

patoline

Patolinský sázecí systém.
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

Parametrický generátor pro navrhování rozdělených, konkávních, ergonomických klávesnic napsaných v ocaml..
  • 170
  • GNU Affero General Public License v3.0

drom

drom je obal přes opam/dune ve snaze poskytnout uživatelské prostředí podobné nákladu. Lze jej použít k vytvoření úplných projektů OCaml s dokumentací sfingy a odoc. Má specifické znalosti Github a vygeneruje soubory pro Github Actions CI a stránky Github.
  • 165
  • GNU General Public License v3.0

mlang

Kompilátor pro jazyk M, používaný k výpočtu daně z příjmu francouzských daňových poplatníků.
  • 160
  • GNU General Public License v3.0 only

lablqml

Propojení Qt/QML s OCaml. Dříve známý jako lablqt.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

nástroj pro vytváření supermin zařízení (dříve nazývaný febootstrap). PROSÍM, NEPOUŽÍVEJTE GITHUB PRO PROBLÉMY NEBO ŽÁDOSTI O VYTAHOVÁNÍ. Podívejte se na webové stránky, kde se dozvíte, jak nahlásit chybu, nebo nás kontaktujte. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

Vazby OCaml pro Python.
  • 154
  • BSD 2-clause "Simplified"

domainslib

Paralelní programování přes domény.
  • 144
  • ISC

sexplib

Automatizovaný převod S-výrazu.
  • 141
  • MIT

postgresql-ocaml

Vazby OCaml pro databázi PostgreSQL.
  • 138
  • GNU General Public License v3.0

jsoo-react

js_of_ocaml vazby pro ReactJS. Na základě ReasonReact..
  • 136
  • MIT

preface

Předmluva je názorná knihovna navržená tak, aby usnadnila práci s opakujícími se funkčními programovacími idiomy v OCaml.
  • 132
  • MIT

reagents

Reagencie pro vícejádrové OCaml.
  • 126
  • ISC

opam-monorepo

Sestavte pracovní prostory duny a sestavte svůj projekt a jeho závislosti jako celek.
  • 126
  • ISC

ocurrent

Udržuje věci aktuální (CI/CD potrubí OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

Speedrunning split timer inspirovaný Livesplit pro terminál Linux/macOS. Podporuje globální klávesové zkratky. (podle alexozeru).
  • 124
  • MIT

stanc3

Transpiler Stan (ze Stan do C++ a dále)..
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ Nulová blbost.
  • 116
  • Mozilla Public License 2.0

lua-ml

Zabudovatelný interpret Lua 2.5 implementovaný v OCaml.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Pěkné analyzátory v OCaml bez vzoru.
  • 115
  • MIT

coq-serapi

Coq Protocol Playground se Se(xp)rializací vnitřních struktur..
  • 114
  • GNU General Public License v3.0

streaming

Rychlé, bezpečné a složitelné streamované abstrakce. (odis-labs).
  • 105
  • ISC

sqlite3-ocaml

Vazby OCaml na databázi SQLite3.
  • 104
  • GNU General Public License v3.0

iter

Jednoduchý abstraktní datový typ iterátoru určený k efektivnímu iterování v kolekcích při provádění některých transformací. (podle c-cube).
  • 102
  • BSD 2-clause "Simplified"