sdleffler/whisper

Stars
35
Rank 750,836 (Top 15 %)
Language
Rust
License
Mozilla Public Li...
Created almost 5 years ago
Updated over 4 years ago

sdleffler/whisper

sdleffler

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Logic programming, for Rust, from inside Rust.

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.

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.