Popular repositories Loading

1. haskell-sat-solver haskell-sat-solver Public

   Naive SAT solver implemented in Haskell.

   Haskell 2

2. gpu-indicator-gnome-extension gpu-indicator-gnome-extension Public archive

   This GNOME extension adds a small icon in the top bar indicating which GPU you're currently using.

   JavaScript 2

3. preambles preambles Public

   My custom LaTeX preambles for you to use!

   TeX 2 1

4. quills quills Public

   A tool for depth-optimal layout synthesis on quantum circuits.

   Python 2

5. nim-lambda-calculus-interpreter nim-lambda-calculus-interpreter Public

   A lambda calculus interpreter project, written in Nim.

   Nim 1

6. optifuzz optifuzz Public

   A tool for fuzzing random optimized C programs and detect side-channel vulnerabilities.

   TeX 1