doctorn / trait-eval
We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???
☆364Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for trait-eval
- Rust doesn't have exceptions☆630Updated 4 years ago
- A pure functional language for type-level programming in Rust☆323Updated 2 years ago
- Forth for Rust's trait system☆226Updated 4 years ago
- Pssst!... see what Rust is doing behind the curtains 🕵🤫☆380Updated last year
- Online introspection for Rust☆415Updated 2 years ago
- ☆556Updated last year
- A library to generate syntax diagrams for Rust macros.☆539Updated 3 months ago
- Garbage collected smart pointers for Rust☆266Updated 2 years ago
- Inline expression interpolation for Rust.☆200Updated last year
- Compile-time reference counting☆437Updated last year
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆217Updated 5 years ago
- Faster, more compact implementation of std::Cow☆338Updated last year
- A local Rust playground☆342Updated last year
- garbage collection☆319Updated 5 years ago
- A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.☆232Updated 7 years ago
- Stackless generators on stable Rust.☆441Updated 2 years ago
- Execute your code on the Rust ecosystem.☆181Updated last month
- How to avoid complicated coordinated upgrades☆438Updated 7 months ago
- ☆256Updated this week
- (Rust) repl☆439Updated 3 years ago
- Colorful panic backtraces for Rust☆571Updated 2 months ago
- Runtime for executing procedural macros as WebAssembly☆1,285Updated this week
- SIMD-accelerated UTF-8 validation for Rust.☆533Updated 2 weeks ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- dipa makes it easy to efficiently delta encode large Rust data structures.☆264Updated 2 years ago
- A tool for transforming Rust code using rules☆711Updated last year
- Beautiful diagnostic reporting for text-based programming languages.☆1,111Updated 4 months ago
- Automatic checking for semantic versioning in library crates☆638Updated last year
- Compile time numbers in Rust.☆518Updated 5 months ago
- Ensure correct assumptions about constants, types, and more in Rust☆579Updated last year