Popular repositories

1. arduino-hsm arduino-hsm Public

   C++

2. buddy_allocator buddy_allocator Public

   A simple custom buddy-style allocator.

   C

3. logic_based_verifier logic_based_verifier Public

   A logic-based verifier that checks for illegal information flow based on a lattice.

   Prolog

4. mips_simulator mips_simulator Public

   Two MIPS cycle-accurate simulators implemented in C++.

   Assembly

5. neural_networks neural_networks Public

   Some simple neural networks to learn about backpropagation, deltas, and biases.

   Java

6. riscv_pipeline riscv_pipeline Public

   Implementation of the 3-stage Sodor Processor using Verilog.

   Verilog