Biblioteker skrevet i OCaml

redtt

"Mellem mørket og daggry stiger en rød terning!": en bevisassistent for kartesisk kubisk typeteori.
  • 194
  • Apache License 2.0

FaCT

Fleksibelt og konstant tidsprogrammeringssprog.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Jane Street Capitals asynkrone henrettelsesbibliotek (ved janestreet).
  • 182
  • MIT

ocaml5-tutorial

En praktisk vejledning om de nye parallelitetsfunktioner i OCaml 5.
  • 182
  • MIT

morbig

En statisk parser til POSIX Shell.
  • 181
  • GNU General Public License v3.0

C11parser

En korrekt C89/C90/C99/C11/C18 parser skrevet ved hjælp af Menhir og OCaml.
  • 174
  • GNU General Public License v3.0

patoline

Patoline sættesystem.
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

En parametrisk generator til at designe opdelte, konkave, ergonomiske tastaturer skrevet i ocaml..
  • 170
  • GNU Affero General Public License v3.0

drom

drom er en indpakning over opam/klit i et forsøg på at give en lastlignende brugeroplevelse. Det kan bruges til at skabe fulde OCaml-projekter med sfinx- og odoc-dokumentation. Den har specifik viden om Github og vil generere filer til Github Actions CI og Github sider.
  • 165
  • GNU General Public License v3.0

mlang

Kompiler til M-sproget, bruges til at beregne indkomstskat for franske skatteydere.
  • 160
  • GNU General Public License v3.0 only

lablqml

Grænseflade Qt/QML med OKaml. Tidligere kendt som lablqt.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

værktøj til at skabe supermin-apparater (tidligere kaldet febootstrap). BRUG VENLIGST IKKE GITHUB TIL PROBLEMER ELLER PULL-ANMODNINGER. Se hjemmesiden for, hvordan du indsender en fejl, eller kontakt os. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

OKaml-bindinger til Python.
  • 154
  • BSD 2-clause "Simplified"

domainslib

Parallel programmering over domæner.
  • 144
  • ISC

sexplib

Automatiseret S-udtryk konvertering.
  • 141
  • MIT

postgresql-ocaml

OKaml-bindinger til PostgreSQL-databasen.
  • 138
  • GNU General Public License v3.0

jsoo-react

js_of_ocaml-bindinger til ReactJS. Baseret på ReasonReact..
  • 136
  • MIT

preface

Forord er et meningsfuldt bibliotek designet til at lette håndteringen af ​​tilbagevendende funktionelle programmeringssprog i OCaml.
  • 132
  • MIT

reagents

Reagenser til multicore OCaml.
  • 126
  • ISC

opam-monorepo

Saml klitarbejdsområder for at bygge dit projekt og dets afhængigheder som helhed.
  • 126
  • ISC

ocurrent

Holder tingene opdaterede (en CI/CD pipeline OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

En Livesplit-inspireret speedrunning split timer til Linux/macOS terminal. Understøtter globale genvejstaster. (af alexozer).
  • 124
  • MIT

stanc3

Stan-transpileren (fra Stan til C++ og videre)..
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ Nul lort git.
  • 116
  • Mozilla Public License 2.0

lua-ml

En indlejrbar Lua 2.5-fortolker implementeret i OCaml.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Flotte parsere i OKaml uden kedelpladen.
  • 115
  • MIT

coq-serapi

Coq Protocol Legeplads med Se(xp)rialisering af interne strukturer..
  • 114
  • GNU General Public License v3.0

streaming

Hurtige, sikre og komponerbare streamingabstraktioner. (af odis-labs).
  • 105
  • ISC

sqlite3-ocaml

OKaml-bindinger til SQLite3-databasen.
  • 104
  • GNU General Public License v3.0

iter

Simpel iterator abstrakt datatype, beregnet til at iterere effektivt på samlinger, mens der udføres nogle transformationer. (ved c-cube).
  • 102
  • BSD 2-clause "Simplified"