Biblioteki napisane w OCaml
redtt
„Między ciemnością a świtem wznosi się czerwony sześcian!”: pomocnik dowodzący teorii kartezjańskich typów sześciennych.
- 194
- Apache License 2.0
C11parser
Poprawny parser C89/C90/C99/C11/C18 napisany przy użyciu Menhir i OCaml.
- 174
- GNU General Public License v3.0
dometyl-keyboard
Generator parametryczny do projektowania dzielonych, wklęsłych, ergonomicznych klawiatur napisanych w ocaml..
- 170
- GNU Affero General Public License v3.0
drom
drom jest nakładką na opam/dune, mającą na celu zapewnienie wrażenia użytkownika podobnego do ładunku. Może być używany do tworzenia pełnych projektów OCaml z dokumentacją sphinx i odoc. Ma szczegółową wiedzę na temat Github i wygeneruje pliki dla stron Github Actions CI i Github.
- 165
- GNU General Public License v3.0
mlang
Kompilator dla języka M, służący do obliczania podatku dochodowego podatników francuskich.
- 160
- GNU General Public License v3.0 only
lablqml
Interfejs Qt/QML z OCamlem. Dawniej znany jako lablqt.
- 158
- GNU Lesser General Public License v3.0 only
supermin
narzędzie do tworzenia urządzeń supermin (dawniej febootstrap). PROSZĘ NIE UŻYWAĆ GITHUBA DO ROZWIĄZYWANIA PROBLEMÓW LUB PRÓB PULL. Odwiedź witrynę internetową, aby dowiedzieć się, jak zgłosić błąd lub skontaktować się z nami. http://libguestfs.org.
- 155
- GNU General Public License v3.0 only
preface
Preface to opiniotwórcza biblioteka zaprojektowana w celu ułatwienia obsługi powtarzających się idiomów programowania funkcyjnego w OCaml.
- 132
- MIT
opam-monorepo
Zbuduj obszary robocze wydm, aby zbudować swój projekt i jego zależności jako całość.
- 126
- ISC
flitter
Zainspirowany Livesplitem timer do szybkiego biegania dla terminali Linux/macOS. Obsługuje globalne skróty klawiszowe. (przez aleksozera).
- 124
- MIT
coq-serapi
Coq Protocol Playground z se(xp)rializacją struktur wewnętrznych.
- 114
- GNU General Public License v3.0
iter
Prosty abstrakcyjny typ danych iteratora, przeznaczony do wydajnej iteracji kolekcji podczas wykonywania niektórych przekształceń. (przez c-cube).
- 102
- BSD 2-clause "Simplified"