We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???
☆372Jan 31, 2021Updated 5 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:
- Forth for Rust's trait system☆233Jun 12, 2020Updated 5 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Oct 23, 2022Updated 3 years ago
- Rust doesn't have exceptions☆634Aug 17, 2020Updated 5 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- A pure functional language for type-level programming in Rust☆338Nov 12, 2022Updated 3 years ago
- You might not need your garbage collector☆541May 15, 2020Updated 5 years ago
- generators☆211Sep 20, 2023Updated 2 years ago
- Stackless generators on stable Rust.☆478Jun 24, 2022Updated 3 years ago
- Empowering everyone to build asynchronous software☆854Oct 29, 2019Updated 6 years ago
- Runtime for executing procedural macros as WebAssembly☆1,472Jan 21, 2026Updated last month
- Garbage collected smart pointers for Rust☆271Jan 16, 2022Updated 4 years ago
- Async version of the Rust standard library☆4,067Aug 15, 2025Updated 6 months ago
- A tool for transforming Rust code using rules☆715Jun 4, 2023Updated 2 years ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,984Feb 8, 2026Updated 3 weeks ago
- 🧑🔬 Operating system☆1,438Dec 15, 2025Updated 2 months ago
- safe bindings to io-uring☆683Jun 14, 2021Updated 4 years ago
- Super-fast float parser in Rust (now part of Rust core)☆290Dec 2, 2022Updated 3 years ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,282Oct 22, 2025Updated 4 months ago
- A modern Rust debugging library 🦀☆891May 15, 2022Updated 3 years ago
- A rust crate to offer compile-time assistance for working with unsafe code.☆122Oct 11, 2021Updated 4 years ago
- Ensure correct assumptions about constants, types, and more in Rust☆646Nov 18, 2023Updated 2 years ago
- watt-based inline procedural macros☆14Jul 17, 2020Updated 5 years ago
- A simple error library for no_std + no_alloc Rust☆18Apr 7, 2020Updated 5 years ago
- A small and fast async runtime for Rust☆4,788Feb 23, 2026Updated last week
- Colorful panic backtraces for Rust☆600Oct 28, 2025Updated 4 months ago
- a pragmatic point-free theorem prover assistant☆143Sep 21, 2025Updated 5 months ago
- Execute your code on the Rust ecosystem.☆190Feb 12, 2026Updated 2 weeks ago
- Async filesystem primitives☆144Feb 15, 2026Updated 2 weeks ago
- Fast and friendly HTTP client framework for async Rust☆1,500Sep 11, 2023Updated 2 years ago
- A programming language with static memory management based on λ-calculus☆1,009Jan 28, 2026Updated last month
- A derive macro for implementing the display Trait via a doc comment and string interpolation☆357Jan 20, 2026Updated last month
- Attribute macro to require that the compiler prove a function can't ever panic☆1,184Feb 8, 2026Updated 3 weeks ago
- ☆126Aug 30, 2022Updated 3 years ago
- A thread pool for isolating blocking I/O in async programs☆375Aug 31, 2025Updated 6 months ago
- Wraps around a futures::Spawn and adds diagnostics to it☆31Feb 5, 2020Updated 6 years ago
- a smaller, faster and panic-free alternative to core::fmt☆389Feb 14, 2024Updated 2 years ago
- Spawn processes with arbitrary closures in rust☆115Sep 16, 2021Updated 4 years ago
- Analysis of various tricky Rust code☆1,996Dec 20, 2025Updated 2 months ago
- Concurrency permutation testing tool for Rust.☆2,607Feb 20, 2026Updated last week