Pinned Loading

1. INCL-automated-theorem-prover INCL-automated-theorem-prover Public

   An automated theorem prover based on Graham Priest's "An Introduction to Non-Classical Logic. From If to Is"

   Rust 2

2. my-rust-nes-emulator my-rust-nes-emulator Public

   A NES emulator written in rust

   Rust

3. my-space-invaders-emulator my-space-invaders-emulator Public

   My Space Invaders arcade machine emulator

   Rust