OCamlben írt könyvtárak

redtt

„A sötétség és a hajnal között egy vörös kocka emelkedik!”: a derékszögű kockatípuselmélet bizonyítási segédje.
  • 194
  • Apache License 2.0

FaCT

Rugalmas és állandó idejű programozási nyelv.
  • 190
  • BSD 3-clause "New" or "Revised"

async

A Jane Street Capital aszinkron végrehajtási könyvtára (janestreet).
  • 182
  • MIT

ocaml5-tutorial

Gyakorlati oktatóanyag az OCaml 5 új párhuzamossági funkcióiról.
  • 182
  • MIT

morbig

Statikus elemző a POSIX Shell számára.
  • 181
  • GNU General Public License v3.0

C11parser

Megfelelő C89/C90/C99/C11/C18 értelmező, amelyet Menhir és OCaml használatával írtak.
  • 174
  • GNU General Public License v3.0

patoline

Patoline szedőrendszer.
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

Paraméteres generátor osztott, homorú, ergonomikus, ocaml nyelven írt billentyűzetek tervezésére.
  • 170
  • GNU Affero General Public License v3.0

drom

A drom az opam/dűne feletti wrapper, amely a rakományszerű felhasználói élményt próbálja biztosítani. Használható teljes OCaml projektek létrehozására szfinx és odoc dokumentációval. Különös ismeretekkel rendelkezik a Githubról, és fájlokat generál a Github Actions CI és a Github oldalakhoz.
  • 165
  • GNU General Public License v3.0

mlang

Fordítóprogram az M nyelvhez, a francia adófizetők jövedelemadójának kiszámításához.
  • 160
  • GNU General Public License v3.0 only

lablqml

Qt/QML interfész az OCaml-lel. Korábban lablqt néven ismerték.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

eszköz a szupermin készülékek létrehozásához (korábbi nevén febootstrap). KÉRJÜK, NE HASZNÁLJA A GITHUBOT PROBLÉMÁKHOZ VAGY PULL KÉRÉSEKRE. Tekintse meg a webhelyet a hiba bejelentéséhez, vagy lépjen kapcsolatba velünk. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

OCaml kötések Pythonhoz.
  • 154
  • BSD 2-clause "Simplified"

domainslib

Párhuzamos programozás tartományokon keresztül.
  • 144
  • ISC

sexplib

Automatizált S-kifejezés átalakítás.
  • 141
  • MIT

postgresql-ocaml

OCaml-kötések a PostgreSQL adatbázishoz.
  • 138
  • GNU General Public License v3.0

jsoo-react

js_of_ocaml kötések a ReactJS számára. A ReasonReact alapján..
  • 136
  • MIT

preface

Az előszó egy véleménykönyvtár, amelyet az OCaml visszatérő funkcionális programozási idiómáinak kezelésére terveztek.
  • 132
  • MIT

reagents

Reagensek többmagos OCaml-hez.
  • 126
  • ISC

opam-monorepo

Állítson össze dűnék munkaterületeket a projekt és annak függőségei egészének felépítéséhez.
  • 126
  • ISC

ocurrent

A dolgokat naprakészen tartja (OCaml eDSL CI/CD-folyamat).
  • 125
  • Apache License 2.0

flitter

Egy Livesplit által ihletett speedrunning split timer Linux/macOS terminálhoz. Támogatja a globális gyorsbillentyűket. (alexozer által).
  • 124
  • MIT

stanc3

A Stan transzpiler (Stanról C++-ra és tovább).
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ Nulla baromság.
  • 116
  • Mozilla Public License 2.0

lua-ml

Egy beágyazható Lua 2.5 értelmező az OCaml-ben.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Szép elemzők az OCaml-ben a kazán nélkül.
  • 115
  • MIT

coq-serapi

Coq Protocol Játszótér belső struktúrák Se(xp)rializálásával..
  • 114
  • GNU General Public License v3.0

streaming

Gyors, biztonságos és összeállítható streaming absztrakciók. (az odis-labs által).
  • 105
  • ISC

sqlite3-ocaml

OCaml kötések az SQLite3 adatbázishoz.
  • 104
  • GNU General Public License v3.0

iter

Egyszerű iterátor absztrakt adattípus, amelynek célja a gyűjtemények hatékony iterációja bizonyos átalakítások végrehajtása közben. (c-kockával).
  • 102
  • BSD 2-clause "Simplified"