sdleffler / tarpit-rs
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
☆233Updated 7 years ago
Alternatives and similar repositories for tarpit-rs:
Users that are interested in tarpit-rs are comparing it to the libraries listed below
- Compile time numbers in Rust.☆531Updated this week
- garbage collection☆321Updated 5 years ago
- Ensure correct assumptions about constants, types, and more in Rust☆603Updated last year
- Auditing crates for unsafe code which can be safely replaced☆544Updated 2 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- Manual segmented stacks for Rust☆298Updated last week
- a model of MIR and the Rust type/trait system☆295Updated 4 months ago
- Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!☆219Updated 4 years ago
- Generic array types in Rust☆407Updated last month
- A pure functional language for type-level programming in Rust☆324Updated 2 years ago
- Execute your code on the Rust ecosystem.☆182Updated last month
- Compile-time reference counting☆441Updated last year
- GLL parsing framework.☆137Updated 11 months ago
- Rust doesn't have exceptions☆631Updated 4 years ago
- Intrusive collections for Rust☆436Updated 5 months ago
- A library for creating references that carry their owner with them.☆365Updated last year
- A big 'ol pile of ICE.☆292Updated 9 months ago
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???☆364Updated 4 years ago
- Count lines of LLVM IR per generic function☆434Updated 3 weeks ago
- primal puts raw power into prime numbers.☆114Updated 4 months ago
- Garbage collected smart pointers for Rust☆267Updated 3 years ago
- Efficient transactional memory in rust.☆209Updated 3 years ago
- This crate guarantees that your application is free of panicking branches☆176Updated 5 years ago
- How-to: Sanitize your Rust code!☆425Updated 7 years ago
- Whole program static stack analysis☆593Updated 3 months ago
- A mortifying serialization library for Rust☆328Updated 2 years ago
- Breaking your Rust code for fun and profit☆630Updated last year
- Automatic checking for semantic versioning in library crates☆634Updated last year
- Faster, more compact implementation of std::Cow☆342Updated last year
- How to avoid complicated coordinated upgrades☆512Updated 3 weeks ago