paholg / minsky
A Minsky Machine in Rust's type system
☆48Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for minsky
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- An unordered multiset/bag implementation backed by HashMap☆65Updated this week
- Experimental type level programming in Rust☆38Updated 3 years ago
- exhaustive testing library☆58Updated 3 months ago
- PEG trace visualizer☆71Updated 6 months ago
- ☆93Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- A working Rust example for how to implement Borrow for complex keys☆58Updated 8 months ago
- A syntactic "for" loop Rust macro☆56Updated last year
- Lift enum variants to the type-level.☆31Updated 3 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- Efficient sampling with uniform probability☆32Updated 2 years ago
- ☆32Updated 2 years ago
- Rust library for safely and explicitly parsing untrusted data☆51Updated 6 months ago
- docs.rs as a publishing platform?☆66Updated 4 months ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 2 years ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- Choose Rust types at compile-time via constants☆61Updated 9 months ago
- Prototype extension of the Rust type system towards checking units-of-measure☆108Updated 4 years ago
- Alternative future adapters that provide cancel safety.☆59Updated this week
- Stack safe and expressive recursion in Rust☆91Updated last month
- A rust proc-macro to generate conversions for an enum of newtype variants☆28Updated last year
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆51Updated 3 years ago
- A sentinel-based, heapless, `Vec`-like type.☆68Updated 4 years ago
- An experimental columnar arena☆41Updated 3 weeks ago
- Annoyed that Rust has many string types? Well it doesn't have to☆39Updated 2 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated last year
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆147Updated 6 months ago
- To futures-lite as futures-lite is to futures: smaller.☆53Updated 6 months ago
- Collection of typed data structures, trait operators and aliases☆50Updated 4 years ago