Pinned Loading

1. Clash-compiler-for-RTLola Clash-compiler-for-RTLola Public

   Hardware monitor from RTLola specifications by compiling to Clash HDL

   VHDL

2. distributed-file-system distributed-file-system Public

   Distributed file system based on Frangipani paper

   C++

3. VeriRISCy VeriRISCy Public

   Instruction pipelined RISC processor implementation in Verilog

   Verilog 5

4. unix-like-shell unix-like-shell Public

   Unix like Shell in C++

   C++