Pinned Loading

1. vericert vericert Public

   A formally verified high-level synthesis tool based on CompCert and written in Coq.

   Coq 88 5

2. verismith verismith Public

   Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.

   Haskell 97 12

3. emacs-zettelkasten emacs-zettelkasten Public

   Simple zettelkasten mode for emacs. Mirror of https://sr.ht/~ymherklotz/emacs-zettelkasten/

   Emacs Lisp 58 3

4. dotfiles dotfiles Public

   Personal dotfiles for linux and macos.

   Org 9 1

5. YAGE YAGE Public

   2D game engine with integrated Entity Component System

   C++ 8 1

6. HuaweiChallenge HuaweiChallenge Public

   Attempt made by George Punter, Alexander T. Luisi, Owen Harcome, Yann Herklotz, Divyansh Manocha and Martin Ferianc for the Huawei Debluring challenge 2017

   Python 7 1