Pinned Repositories
.emacs
book
The hacspec book
cmester0.github.io
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
cubical
An experimental library for Cubical Agda
DolphinToPiet
Dolphin to Piet via ELVM
FHE_group_theory
game_experiments
GameJams
hacspec
A specification language for cryptography primitives.
cmester0's Repositories
cmester0/.emacs
cmester0/book
The hacspec book
cmester0/cmester0.github.io
cmester0/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
cmester0/cubical
An experimental library for Cubical Agda
cmester0/DolphinToPiet
Dolphin to Piet via ELVM
cmester0/FHE_group_theory
cmester0/game_experiments
cmester0/GameJams
cmester0/hacspec
A specification language for cryptography primitives.
cmester0/hacspec.github.io
website for hax & hacspec
cmester0/HacspecCoqSpecs
cmester0/HotCiv
cmester0/iris-coq
a non-maintained mirror repo of https://gitlab.mpi-sws.org/FP/iris-coq/
cmester0/keyboard_setup
cmester0/MastersThesis
cmester0/MathStory
Math based story game
cmester0/MiniGames
Alot of small games
cmester0/Piet
Working Piet interpreter and stk to Piet compiler
cmester0/plover
Open source stenotype engine
cmester0/probabilistic-while-to-random-ml
cmester0/Racerbile
Regler til Babybile, Racerbile, Le Mans
cmester0/specs
Specifications written in hacspec
cmester0/ssprove
A foundational framework for modular cryptographic proofs in Coq