Popular repositories Loading

1. word-design-for-DNA-computing word-design-for-DNA-computing Public

   Looking for solutions of certain sizes with Glucose, Kissat and CaDiCaL

   Python 2

2. lambda-calculator lambda-calculator Public

   A lambda calculus interpreter written in Haskell with functional Church encodings.

   Haskell 1

3. Interactive-fractals Interactive-fractals Public

   My high school graduation paper on fractals

   Jupyter Notebook

4. eulers-formula eulers-formula Public

   A short manim animation on the complex plane

   Python

5. avl-csharp avl-csharp Public

   Generic AVL tree implementation and testing in C#

   C#