Pinned Loading

1. SiLemma SiLemma Public

   Trying to prove things about circuits in Dafny

   Dafny 2 1

2. htfft htfft Public

   A high throughput FFT implementation

   Python 15 3

3. slvcodec slvcodec Public

   Generate conversions to/from VHDL types and std_logic_vector. Generate python-based tests.

   Python 12 3

4. zamlet zamlet Public

   RISCV-V Vector Processing Unit

   Python 1