Pinned Loading

1. sugar sugar Public

   Simply Typed Lambda Calculus with Hindley-Milner type inference and fixed-point recursion.

   Haskell

2. Every Gist I've written. Every Gist I've written.

   1

   The originality of these Gists varies drastically. Most are inspired by the work of others, in that case, all merit goes to the original authors. I have linked everything used as reference material on the Gists themselves.

   2

   3

   # Haskell

   4

   5

   - [Crégut's strongly reducing Krivine abstract machine](https://gist.github.com/pedrominicz/4ba8bc8f9ff04f120612856684e68f49)

3. mios mios Public

   Test operating system with higher-half kernel, multiple user mode "processes," and system calls.

   C 3

4. m8080 m8080 Public

   Cycle-accurate Intel 8080 emulator library. Examples include Space Invaders, a debugger, and a disassembler.

   C 2