Popular repositories Loading

1. vm-rv32 vm-rv32 Public

   VM-RV32 is a virtual machine that emulates the RISC-V 32-bit ISA. It includes 64 detailed tutorials and supports meta-syntax for assertion expressions and printing to inspect registers and memory l…

   Python 1

2. ieee754-tutor ieee754-tutor Public

   A terminal based educational tool designed to help developers, students, and engineers master the bit-level mechanics of the IEEE 754 floating-point standard.

   Python 1

3. rv32-tutor rv32-tutor Public

   A CLI for rapidly learning and practicing manual encoding of RISC-V instructions through active recall.

   Python

4. meerkat meerkat Public

   Forked from meerkat-lang/meerkat

   The implementation of the Meerkat language at Carnegie Mellon University.

   Rust

5. java-undecidable java-undecidable Public

   An artifact demonstrating that the Java type system is undecidable.

   Java

6. lean-sublime-text lean-sublime-text Public

   Lean theorem prover syntax highlighting for Sublime Text.