Skip to content
View joshrule's full-sized avatar

Highlights

  • Pro

Block or report joshrule

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

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

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

    Rust 27 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++