Ulysse

merlin-js. OCaml

mlts. Prolog

ocamix. OCaml

ElpIDE. OCaml

ppx_deriving_jsont. A ppx deriver for Jsont descriptions

brr-lwd-ui. A web UI toolkit built over lwd and brr

bs-semantic-ui-react. Bucklescript bindings for Semantic UI React

elpi-js. JS binders and tools to interact with the Elpi lambda-prolog interpreter written in OCaml.

ocaml-index. OCaml

Projet_Simulateur_IGOSAT. C++

discord-ml. Experimental binders to the Discord API

mash-and-furious. OCaml

ocaml-theia. Dockerfile

lp2tex. An Ugly, untested and mostly unsatifying translator from λProlog code to Latex inference rules

merlin-occurrences-switch. Makefile

OpenBikeComputer. Kotlin

bs-jszip. Bucklescript bindings for JSZip

mail-script. Shell