cofibrant / trait-evalLinks
We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???
☆372Updated 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.☆240Updated 8 years ago
- Rust doesn't have exceptions☆635Updated 5 years ago
- Pssst!... see what Rust is doing behind the curtains 🕵🤫☆384Updated 2 years ago
- A pure functional language for type-level programming in Rust☆338Updated 3 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆253Updated 3 years ago
- Garbage collected smart pointers for Rust☆270Updated 3 years ago
- A library to generate syntax diagrams for Rust macros.☆562Updated last year
- Online introspection for Rust☆418Updated 3 years ago
- ☆578Updated 2 years ago
- Inline expression interpolation for Rust.☆200Updated 2 years ago
- Compile-time reference counting☆455Updated 7 months ago
- Forth for Rust's trait system☆232Updated 5 years ago
- garbage collection☆326Updated 6 years ago
- (Rust) repl☆442Updated 4 years ago
- ☆324Updated 2 months ago
- Execute your code on the Rust ecosystem.☆189Updated last week
- Faster, more compact implementation of std::Cow☆370Updated 2 years ago
- Colorful panic backtraces for Rust☆600Updated 2 months ago
- A tool for transforming Rust code using rules☆716Updated 2 years ago
- PEG parser combinators using operator overloading without macros.☆521Updated 11 months ago
- ☆260Updated last year
- This crate guarantees that your application is free of panicking branches☆178Updated 6 years ago
- Rust testing library☆350Updated 2 years ago
- Error handling project group☆263Updated 3 years ago
- Generic array types in Rust☆431Updated last month
- Compile time numbers in Rust.☆571Updated 2 months ago
- Automatic checking for semantic versioning in library crates☆632Updated 2 years ago
- Compact inlined strings for Rust.☆538Updated 2 years ago
- How to avoid complicated coordinated upgrades☆549Updated 11 months ago
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆218Updated 6 years ago