Pinned

1. term-rewriting-rs term-rewriting-rs Public

   a Rust implementation of first-order term rewriting systems (TRS)

   Rust 22 5

2. joshrule.github.com joshrule.github.com Public

   personal site

   TeX

3. polytype-rs polytype-rs Public

   Forked from lorepozo/polytype-rs

   A polymorphic typing system, Hindley-Milner

   Rust 1

4. program-induction program-induction Public

   Forked from lorepozo/program-induction

   A library for program induction and learning representations.

   Rust 3 2

5. TeRF TeRF Public

   a TErm Rewriting Framework written in Python

   Python 5 2

6. Model01-Firmware Model01-Firmware Public

   Forked from keyboardio/Model01-Firmware

   Josh Rule's Keyboardio Model 01 Firmware sketch.

   C++