Pinned Loading

1. 16-bit-computer 16-bit-computer Public

   Building a complete 16-bit computer (hardware and software) guided by the book "The Elements of Computing Systems"

   Assembly 1

2. untyped-lambda-evaluator untyped-lambda-evaluator Public

   Untyped lambda calculus evaluator exploring different term representations (Named, HOAS) and β-reduction strategies

   Haskell

3. proplog-inference proplog-inference Public

   Inference engine for propositional logic

   Haskell

4. my-nixos my-nixos Public

   My NixOS system and home-manager config

   Nix