sdleffler / tarpit-rs
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
☆233Updated 8 years ago
Alternatives and similar repositories for tarpit-rs:
Users that are interested in tarpit-rs are comparing it to the libraries listed below
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???☆367Updated 4 years ago
- Compile time numbers in Rust.☆543Updated last week
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- garbage collection☆321Updated 5 years ago
- GLL parsing framework.☆137Updated last year
- Garbage collected smart pointers for Rust☆268Updated 3 years ago
- Forth for Rust's trait system☆229Updated 4 years ago
- Faster, more compact implementation of std::Cow☆346Updated 2 years ago
- Manual segmented stacks for Rust☆303Updated last month
- Please do not use this.☆174Updated 3 years ago
- Execute your code on the Rust ecosystem.☆184Updated last month
- Compile-time reference counting☆442Updated last year
- Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!☆221Updated 4 years ago
- Efficient transactional memory in rust.☆210Updated 3 years ago
- Type-safe transmutations between layout-compatible types.☆122Updated 4 years ago
- Help me help you!☆110Updated 3 years ago
- Generic array types in Rust☆407Updated last month
- primal puts raw power into prime numbers.☆116Updated 6 months ago
- A big 'ol pile of ICE.☆290Updated 11 months ago
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆218Updated 5 years ago
- Ensure correct assumptions about constants, types, and more in Rust☆614Updated last year
- home for proposals in and around compile-time function evaluation☆107Updated last year
- a model of MIR and the Rust type/trait system☆298Updated last month
- RAMP - Rust Arithmetic in Multiple Precision☆263Updated 2 years ago
- This crate guarantees that your application is free of panicking branches☆177Updated 5 years ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆337Updated 8 years ago
- A library for creating references that carry their owner with them.☆371Updated last year
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆154Updated 11 months ago
- Extremely generic linear algebra libary for Rust☆224Updated 5 months ago
- A derive macro for implementing the display Trait via a doc comment and string interpolation☆334Updated 4 months ago