Pinned Loading

1. whisper whisper Public

   Logic programming, for Rust, from inside Rust.

   Rust 42 1

2. tarpit-rs tarpit-rs Public

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

   Rust 232 7

3. qp-trie-rs qp-trie-rs Public

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

   Rust 94 24

4. type-operators-rs type-operators-rs Public

   A macro for defining type operators in Rust.

   Rust 63 2

5. collapse collapse Public

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

   Rust 132 8

6. hv-dev hv-dev Public

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

   Rust 14 1