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
C11parser
Megfelelő C89/C90/C99/C11/C18 értelmező, amelyet Menhir és OCaml használatával írtak.
- 174
- GNU General Public License v3.0
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
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
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
flitter
Egy Livesplit által ihletett speedrunning split timer Linux/macOS terminálhoz. Támogatja a globális gyorsbillentyűket. (alexozer által).
- 124
- 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
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"