sdleffler / tarpit-rs
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
☆235Updated 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
- GLL parsing framework.☆138Updated 11 months ago
- garbage collection☆321Updated 5 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- Execute your code on the Rust ecosystem.☆183Updated last week
- Compile time numbers in Rust.☆539Updated 2 weeks ago
- Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!☆222Updated 4 years ago
- Please do not use this.☆174Updated 3 years ago
- Ensure correct assumptions about constants, types, and more in Rust☆606Updated last year
- RAMP - Rust Arithmetic in Multiple Precision☆261Updated 2 years ago
- Forth for Rust's trait system☆229Updated 4 years ago
- A big 'ol pile of ICE.☆292Updated 10 months ago
- Compile-time reference counting☆441Updated last year
- This crate guarantees that your application is free of panicking branches☆176Updated 5 years ago
- Manual segmented stacks for Rust☆299Updated 3 weeks ago
- A graphical debugger for Rust MIR☆187Updated 2 years ago
- home for proposals in and around compile-time function evaluation☆107Updated last year
- Garbage collected smart pointers for Rust☆267Updated 3 years ago
- Count lines of LLVM IR per generic function☆436Updated last month
- A JIT experiment in Rust☆134Updated 8 months ago
- Type-safe transmutations between layout-compatible types.☆122Updated 4 years ago
- Auditing crates for unsafe code which can be safely replaced☆548Updated 2 years ago
- Faster, more compact implementation of std::Cow☆343Updated last year
- Rust doesn't have exceptions☆630Updated 4 years ago
- Intrusive collections for Rust☆440Updated 6 months ago
- A library for creating references that carry their owner with them.☆365Updated last year
- Collecting examples and information to help design a memory model for Rust.☆126Updated 5 years ago
- Rust Lisp expression parser and serializer☆171Updated 6 months ago
- Porting `compiler-rt` intrinsics to Rust☆395Updated last week
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆153Updated 10 months ago
- A compiler plugin to insert flame calls☆380Updated last year