Danny Willems

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.

dsubml. OCaml implementation of DSub, a ML like language with subtyping and path dependent types.

minilibx-mac-osx. Minilibx (native version for Mac OSX), a basic graphical library in C for 42 and Epitech students

ocaml-cordova. Create your own Cordova plugin in OCaml

zkacademy. A place to learn ZK with Jupyter

web-ocaml-rust-tuto. List of tutorials/projects experiencing OCaml and Rust mixed code running together in the browser.

docker-qtcreator. Docker container for qtcreator

awesome-books-articles. A list of awesome books, articles and websites of several subjects like mathematical logic, type theory, category theory.

ocaml-materializecss. Create HTML elements in OCaml using Material Design (MaterializeCSS)

Makefiles. List of makefiles for different projects

types-and-programming-languages-pierce-implementation. Implementation in different programming languages of exercices given in « Types and Programming Languages » by Benjamin C. Pierce.

js_of_ocaml_libraries. DEPRECATED: See https://github.com/dannywillems/ocaml-for-web-programming.

minilibx. Minilibx, a basic graphical library in C for 42 and Epitech students

ocaml-influxdb. OCaml interface to the time series database InfluxDB

jsoo-lib. Additional functions to js_of_ocaml bindings to Javascript standard library.

master-thesis. My master thesis on RML : In French.

py-keum. Modular elliptic curve library in Python. Do not use in production.

ocaml-arduino. Arduino information to run OCaml on Arduino

ocaml-ec. Play with elliptic curves in OCaml

ocaml-cordova-example. Example of the binding to the cordova object

easy-install. Manage easily the installation of your softwares.

ocaml-cordova-plugin-push-notifications. Binding in OCaml to phonegap-plugin-push using gen_js_api.

tezos-white-paper. Tezos White Paper. See https://github.com/tezos/tezos.

ocaml-js-stdlib. Binding in OCaml to the javascript standard library

docker-ocsigen-start. Docker container for ocsigen-start.

radix-dlt-python. Python client to Radix DLT

ocaml-bls12-381. Fast BLS12-381 implementation in OCaml

ocaml-ff. OCaml

vim-icalendar. Vim plugin for icalendar files. Based on Steven Severinghaus syntax file

js_of_ocaml_exercices. List of exercices to learn how to use js_of_ocaml.

ocaml-node-list. List of OCaml bindings to NodeJS packages using gen_js_api.

ocaml-gadt-playground. Play with GADT in OCaml

steg-xai.

openmina. Mina Rust Node

andOTP. Open source two-factor authentication for Android

r2p2. R2p2 - the networking layer for a decentralised world

zkbitcoin. zkBitcoin: zero-knowledge proofs on Bitcoin!

play-with-coq. Coq

eprint-iacr-improved. An attempt to build an improved version of eprint.iacr.org

resize-logo. Resize logo in bash

shell-mina-config. Shell configuration to work in MinaProtocol/mina

pebble-wecare4u. WeCare4U - Pebble code

ocaml-cordova-plugin-vibration-example. Example of the binding to the vibration cordova plugin.

ocaml-cordova-plugin-sms-example. Example of the binding to the sms cordova plugin.

os-oauth2-openid-connect-client-example. OAuth2 and OpenID Connect client example using ocsigen-start.

ocaml-microservices. WIP. A list of ready-to-use microservices written in OCaml.

setup-scripts. Scripts I use when I need to setup a new dev machine for me.

ocsigen-cms. CMS written in OCaml with Ocsigen and WordPress ecosystem compatibility.

tezos-position-paper. Tezos Position paper. See https://github.com/tezos/tezos

libft-unit-test. C