Pinned Loading

1. folderol folderol Public

   My little theorem prover. Based on the Designing a Theorem Prover paper by Lawrence C. Paulson.

   OCaml 1

2. tiger tiger Public

   🚧 A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.

   OCaml 24 5

3. emacs.d emacs.d Public

   My Emacs config

   Emacs Lisp 9 3

4. hooliswap-v2 hooliswap-v2 Public

   Uniswap-V2 clone

   Solidity 2

5. hooliswap-v3 hooliswap-v3 Public

   Uniswap V3 clone built for learning purposes. WIP.

   Jupyter Notebook 1