A suite of crates designed to bridge the rust-gpu SPIR-V compiler into the bevy engine.
See bevy-rust-gpu for top-level project documentation.
Type-level programming toolkit. Abuses Rust's trait system to encode static, composable type-level computation.
Implements data structures, type classes, and a significant chunk of the Haskell standard library - all statically.
Pros: Rich expression of static type-level computing. Interesting compsci party trick.
Cons: Verbose. Terrible compile times.
Iterative attempts at refining a practical, cross-domain implicit surface compiler. A full mission statement is available in the V1 README.
V1 is free-standing, and included here for posterity, while V2 and V3 each depend on other crates in this organization.