Popular repositories Loading

1. LED-Matrix-Project LED-Matrix-Project Public

   2018 IAP GenOne Internship Project

   C++

2. LED-Matrix-Project-Android-App LED-Matrix-Project-Android-App Public

   Java

3. term-rewriting-rs term-rewriting-rs Public

   Forked from joshrule/term-rewriting-rs

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

   Rust

4. program-induction program-induction Public

   Forked from joshrule/program-induction

   A library for program induction and learning representations.

   Rust

5. polynomial-problem polynomial-problem Public

   Rust simulations using input/output examples to learn typed first-order term rewriting systems that generalize the binomal expansion problem

   Rust

6. polytype-rs polytype-rs Public

   Forked from joshrule/polytype-rs

   A polymorphic typing system, Hindley-Milner

   Rust