dannywillems

zkacademy

A place to learn ZK with Jupyter

py-keum

Modular elliptic curve library in Python. Do not use in production.

ocaml-gadt-playground

Play with GADT in OCaml

vim-icalendar

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

dannywillems.github.io

Blog

ocaml-bls12-381

Fast BLS12-381 implementation in OCaml

ocaml-ec

Play with elliptic curves in OCaml

pebble-wecare4u

WeCare4U - Pebble code

shell-mina-config

Shell configuration to work in MinaProtocol/mina

zkbitcoin

zkBitcoin: zero-knowledge proofs on Bitcoin!

awesome-folding

A curated list of zero-knowledge folding schemes

copilot.el

An unofficial Copilot plugin for Emacs.

curated-list-european-digital-rights-actors

A curated list of digital rights actors in Europe.

dannywillems

django-renderpdf

📄 Django app to render django templates as PDF files.

drawio-diagrams

gvm

Go Version Manager

haskell-playground

mina

Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

ocaml-heteregenuous-list

Heteregenuous list in OCaml, using GADTs

optimism

Optimism is Ethereum, scaled.

optimism-network-infra

Scripts to bootstrap a Optimism infrastructure

puzzle-gamma-ray

Solution to puzzle-gamma-ray

python-one-liners

One liners in Python for common tasks

rust-usize-overflow

Testing rust usize overflow

rust-wasm-game-of-life-training

Game of Life in rust running in the browser

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

supply-attack-legit-library-rust-traits

Supply attacks with a legit library and rust traits

supply-attack-rust-traits-fake-lib

Supply attacks with a legit library and rust traits - example library

uniffi-kimchi

Attempt to use uniffi with kimchi