Discover @sdleffler Open Source projects

Shea Leffler (@sdleffler)

sdleffler

Stars
584
Global Rank 50,514 (Top 2 %)
Followers 89
Following 11
Registered over 11 years ago
Most used languages

Rust
95.7 %

Lua
4.3 %
Location 🇺🇸 United States
Country Total Rank 13,253
Country Ranking

Rust
357

Lua
4,527

tarpit-rs

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

collapse

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

qp-trie-rs

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

type-operators-rs

A macro for defining type operators in Rust.

whisper

Logic programming, for Rust, from inside Rust.

hv-dev

Slow down, upon the teeth of Orange: Heavy is an opinionated, efficient, relatively lightweight, and tightly Lua-integrated game framework for Rust.

thunk-rs

Generic lazy evaluation for Rust.

type-level-logic-rs

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

empty-box-rs

A Rust type for safely moving values in and out of boxes without unnecessary new allocations.

sludge

ECS/Lua integration plus other opinionated goodies for game development in Rust with batteries.

colosseum-rs

A variety of arena allocators for Rust.

rad-rs

Safe, high-level RADOS bindings using the ceph-rust bindings.

behemoth

A horrible, demonic experiment in Rust macro abuse.

heavy

Slow down, upon the teeth of Orange.

carthage-rs

RDF graph parsing and manipulation in Rust.

whisper_std

Whisper lang standard library.

droptune

A collection of Lua libraries for jump-starting a LÖVE project.

macro-abuse

A few examples of Rust macro abuse which I found particularly fun.

soft-edge

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

calculi

Lambda calculus playground.

leviathan

Behemoth 2.0: Peano Boogaloo

tll-array-rs

Arrays with type-encoded lengths.

tll-iterator-rs

Statically-sized iterators for Rust.