sdleffler

Shea Leffler

sdleffler

Maximum volume yields maximum results. Yes, I *am* a violinist, why do you ask?

Briones, California
Joined August 2013

tarpit-rs

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

RustUpdated 6/4/2025

type-level-logic-rs

Bits and bytes of type-level operations, implemented using the type-operators crate.

RustUpdated 6/2/2025

type-operators-rs

A macro for defining type operators in Rust.

RustUpdated 6/2/2025

qp-trie-rs

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

RustUpdated 5/6/2025

soft-edge

Efficient bithackery for making 3D collision meshes out of grids and stacked tile maps

RustUpdated 4/3/2025