Pinned Loading

1. BlogFeedback BlogFeedback Public

   Feedback on blog posts

2. counter counter Public

   4-bit Counter in Verilog

   Verilog

3. theorems theorems Public

   Proving basic theorems in Coq

   Coq

4. lexer lexer Public

   Minimalistic Lexer written in Python

   Python

5. ds-and-algorithms ds-and-algorithms Public

   Data structures and Algorithms implemented in golang and python

   Python 2

6. OOP OOP Public

   trying out OOP principles and patterns

   Python 1