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?
LeakIXMostly Belgium, but often moving
Pinned Repositories
docker-qtcreator
Docker container for qtcreator
dsubml
OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
Makefiles
List of makefiles for different projects
ocaml-bls12-381
Fast BLS12-381 implementation in OCaml
ocaml-cordova
Create your own Cordova plugin in OCaml
ocaml-cordova-plugin-list
List of bindings in OCaml to cordova plugins.
ocaml-ec
Play with elliptic curves in OCaml
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.
web-ocaml-rust-tuto
List of tutorials/projects experiencing OCaml and Rust mixed code running together in the browser.
dannywillems's Repositories
dannywillems/zkacademy
A place to learn ZK with Jupyter
dannywillems/py-keum
Modular elliptic curve library in Python. Do not use in production.
dannywillems/ocaml-gadt-playground
Play with GADT in OCaml
dannywillems/vim-icalendar
Vim plugin for icalendar files. Based on Steven Severinghaus syntax file
dannywillems/dannywillems.github.io
Blog
dannywillems/ocaml-bls12-381
Fast BLS12-381 implementation in OCaml
dannywillems/ocaml-ec
Play with elliptic curves in OCaml
dannywillems/pebble-wecare4u
WeCare4U - Pebble code
dannywillems/shell-mina-config
Shell configuration to work in MinaProtocol/mina
dannywillems/zkbitcoin
zkBitcoin: zero-knowledge proofs on Bitcoin!
dannywillems/awesome-folding
A curated list of zero-knowledge folding schemes
dannywillems/copilot.el
An unofficial Copilot plugin for Emacs.
dannywillems/curated-list-european-digital-rights-actors
A curated list of digital rights actors in Europe.
dannywillems/dannywillems
dannywillems/django-renderpdf
📄 Django app to render django templates as PDF files.
dannywillems/drawio-diagrams
dannywillems/gvm
Go Version Manager
dannywillems/haskell-playground
dannywillems/mina
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
dannywillems/ocaml-heteregenuous-list
Heteregenuous list in OCaml, using GADTs
dannywillems/optimism
Optimism is Ethereum, scaled.
dannywillems/optimism-network-infra
Scripts to bootstrap a Optimism infrastructure
dannywillems/puzzle-gamma-ray
Solution to puzzle-gamma-ray
dannywillems/python-one-liners
One liners in Python for common tasks
dannywillems/rust-usize-overflow
Testing rust usize overflow
dannywillems/rust-wasm-game-of-life-training
Game of Life in rust running in the browser
dannywillems/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
dannywillems/supply-attack-legit-library-rust-traits
Supply attacks with a legit library and rust traits
dannywillems/supply-attack-rust-traits-fake-lib
Supply attacks with a legit library and rust traits - example library
dannywillems/uniffi-kimchi
Attempt to use uniffi with kimchi