Pinned Loading

1. gt-manim gt-manim Public

   Manim scenes for Graph Theory

   TeX 2 1

2. resolution-calculus resolution-calculus Public

   Python implementation of ideas in The Resolution Calculus - Alexander Leitsch

   Python 2

3. kobo kobo Public

   tiny md-based blogging framework with minimal necessary setup and built-in latex support

   Python 1

4. regex regex Public

   Implementation of a subset of Regex in prolog

   Prolog

5. szemeredi szemeredi Public

   Formalization of Furstenberg's proof of Szemeredi's Theorem in Lean (WIP)

   Lean 1

6. peytonjones peytonjones Public

   compiler of a functional haskell-like language

   Rust