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. nn nn Public

   Toy neural net using numpy

   Python

5. rano rano Public

   Miniature text editor in Rust

   Rust

6. sml-regex sml-regex Public

   Standard ML 1