dannywillems
If we use « it is not rocket science » to describe something easy, what if you are a rocket scientist and find your job easy?
Repositories
Select a repository to view its commits, contributors, and more.ocaml-for-web-programming
OCaml for web programming
RML
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
ocaml-cordova-plugin-list
List of bindings in OCaml to cordova plugins.
ocaml-cordova
Create your own Cordova plugin in OCaml
web-ocaml-rust-tuto
List of tutorials/projects experiencing OCaml and Rust mixed code running together in the browser.
minilibx-mac-osx
Minilibx (native version for Mac OSX), a basic graphical library in C for 42 and Epitech students
dsubml
OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
zkacademy
A place to learn ZK with Jupyter
docker-qtcreator
Docker container for qtcreator
js_of_ocaml_libraries
DEPRECATED: See https://github.com/dannywillems/ocaml-for-web-programming.
types-and-programming-languages-pierce-implementation
Implementation in different programming languages of exercices given in « Types and Programming Languages » by Benjamin C. Pierce.
ocaml-materializecss
Create HTML elements in OCaml using Material Design (MaterializeCSS)