Shea Leffler

A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.

sdleffler

A macro for defining type operators in Rust.

sdleffler

An idiomatic and fast QP-trie implementation in pure Rust.

sdleffler

Logic programming, for Rust, from inside Rust.

sdleffler

A reimplementation/(pending) improvement on the wavefunction collapse texture synthesis algorithm.

sdleffler