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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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☆633Aug 17, 2020Updated 5 years ago
- You might not need your garbage collector☆541May 15, 2020Updated 5 years ago
- A pure functional language for type-level programming in Rust☆340Nov 12, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Stackless generators on stable Rust.☆477Jun 24, 2022Updated 3 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Empowering everyone to build asynchronous software☆854Oct 29, 2019Updated 6 years ago
- safe bindings to io-uring☆683Jun 14, 2021Updated 4 years ago
- A simple error library for no_std + no_alloc Rust☆18Apr 7, 2020Updated 6 years ago
- A tool for transforming Rust code using rules☆715Jun 4, 2023Updated 2 years ago
- watt-based inline procedural macros☆14Jul 17, 2020Updated 5 years ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,989Feb 8, 2026Updated 2 months ago
- Async version of the Rust standard library☆4,069Aug 15, 2025Updated 7 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- generators☆211Sep 20, 2023Updated 2 years ago
- Runtime for executing procedural macros as WebAssembly☆1,484Jan 21, 2026Updated 2 months ago
- Execute your code on the Rust ecosystem.☆191Updated this week
- macro based configuration management library☆61May 2, 2020Updated 5 years ago
- Wraps around a futures::Spawn and adds diagnostics to it☆31Feb 5, 2020Updated 6 years ago
- Garbage collected smart pointers for Rust☆271Jan 16, 2022Updated 4 years ago
- 🧑🔬 Operating system☆1,441Dec 15, 2025Updated 3 months ago
- A modern Rust debugging library 🦀☆891May 15, 2022Updated 3 years ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,285Feb 28, 2026Updated last month
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Colorful panic backtraces for Rust☆600Apr 5, 2026Updated last week
- a pragmatic point-free theorem prover assistant☆143Sep 21, 2025Updated 6 months ago
- Attribute macro to require that the compiler prove a function can't ever panic☆1,190Mar 24, 2026Updated 2 weeks ago
- To futures-lite as futures-lite is to futures: smaller.☆54Dec 17, 2024Updated last year
- Ensure correct assumptions about constants, types, and more in Rust☆654Nov 18, 2023Updated 2 years ago
- A small and fast async runtime for Rust☆4,836Mar 23, 2026Updated 2 weeks ago
- Fast and friendly HTTP client framework for async Rust☆1,501Sep 11, 2023Updated 2 years ago
- "Freedom from syn": Proc macro tools for operating on token trees☆107Mar 21, 2020Updated 6 years ago
- Faster, more compact implementation of std::Cow☆375Apr 13, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆126Aug 30, 2022Updated 3 years ago
- [DEPRECATED] Non-blocking TCP or Unix connect☆14May 1, 2021Updated 4 years ago
- Concurrency permutation testing tool for Rust.☆2,660Feb 20, 2026Updated last month
- A thread pool for isolating blocking I/O in async programs☆378Aug 31, 2025Updated 7 months ago
- Super-fast float parser in Rust (now part of Rust core)☆289Dec 2, 2022Updated 3 years ago
- Custom hooks for colorful human oriented error reports via panics and the eyre crate☆970Aug 1, 2024Updated last year
- A programming language with static memory management based on λ-calculus☆1,010Updated this week