Bibliotek skrivna i OCaml
dometyl-keyboard
En parametrisk generator för att designa delade, konkava, ergonomiska tangentbord skrivna i ocaml..
- 170
- GNU Affero General Public License v3.0
lablqml
Gränssnitt Qt/QML med OCaml. Tidigare känd som lablqt.
- 158
- GNU Lesser General Public License v3.0 only
coq-serapi
Coq Protocol Playground med Se(xp)rialisering av interna strukturer..
- 114
- GNU General Public License v3.0