cofibrant / trait-evalLinks
We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???
☆368Updated 4 years ago
Alternatives and similar repositories for trait-eval
Users that are interested in trait-eval are comparing it to the libraries listed below
Sorting:
- A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.☆239Updated 8 years ago
- Garbage collected smart pointers for Rust☆269Updated 3 years ago
- Pssst!... see what Rust is doing behind the curtains 🕵🤫☆381Updated 2 years ago
- Rust doesn't have exceptions☆634Updated 4 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆251Updated 2 years ago
- A pure functional language for type-level programming in Rust☆331Updated 2 years ago
- Forth for Rust's trait system☆229Updated 5 years ago
- garbage collection☆322Updated 6 years ago
- ☆569Updated 2 years ago
- Online introspection for Rust☆419Updated 3 years ago
- ☆321Updated 9 months ago
- A library to generate syntax diagrams for Rust macros.☆555Updated last year
- Execute your code on the Rust ecosystem.☆184Updated last month
- Inline expression interpolation for Rust.☆201Updated last year
- Compile-time reference counting☆458Updated 2 months ago
- Rust testing library☆347Updated last year
- A big 'ol pile of ICE.☆290Updated last year
- ☆259Updated 8 months ago
- SIMD-accelerated UTF-8 validation for Rust.☆557Updated 4 months ago
- Colorful panic backtraces for Rust☆579Updated 5 months ago
- Faster, more compact implementation of std::Cow☆355Updated 2 years ago
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆218Updated 5 years ago
- [deprecated] Avoid memcpy calls when working with standard containers☆278Updated 2 years ago
- Error handling project group☆263Updated 3 years ago
- Stackless generators on stable Rust.☆467Updated 3 years ago
- GLL parsing framework.☆137Updated last year
- A Rust macro to determine if a type implements a logical trait expression☆259Updated 5 years ago
- (Rust) repl☆442Updated 3 years ago
- primal puts raw power into prime numbers.☆122Updated 10 months ago
- Compact inlined strings for Rust.☆526Updated last year