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
C11parser
En korrekt C89/C90/C99/C11/C18 parser skrevet ved hjælp af Menhir og OCaml.
- 174
- GNU General Public License v3.0
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
preface
Forord er et meningsfuldt bibliotek designet til at lette håndteringen af tilbagevendende funktionelle programmeringssprog i OCaml.
- 132
- MIT
opam-monorepo
Saml klitarbejdsområder for at bygge dit projekt og dets afhængigheder som helhed.
- 126
- ISC
flitter
En Livesplit-inspireret speedrunning split timer til Linux/macOS terminal. Understøtter globale genvejstaster. (af alexozer).
- 124
- MIT
coq-serapi
Coq Protocol Legeplads med Se(xp)rialisering af interne strukturer..
- 114
- 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"