Pinned Loading

1. compiler compiler Public

   A complete compiler for an object-oriented language with static typing

   C++ 7

2. interpreter interpreter Public

   An interpreter for an imperative language I designed

   Haskell 5 1

3. theorem-prover theorem-prover Public

   Implementation of a theorem prover for first-order logic

   Rust 1

4. File-system File-system Public

   A fully functioning filesystem interfaced with a customized shell

   C 1

5. Quinifier Quinifier Public

   A website that turns Python3 programs into self-reproducing programs

   JavaScript

6. Rating-Log Rating-Log Public

   Finalized project for the Android app

   Java