paholg / minsky
A Minsky Machine in Rust's type system
☆46Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for minsky
- exhaustive testing library☆58Updated 3 months ago
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- An unordered multiset/bag implementation backed by HashMap☆64Updated 8 months ago
- A Set of Bits☆62Updated 3 months ago
- ☆93Updated last year
- Stack safe and expressive recursion in Rust☆90Updated last month
- To futures-lite as futures-lite is to futures: smaller.☆53Updated 6 months ago
- Typed index version of Rust slice and Vec containers☆66Updated last month
- Rust library for safely and explicitly parsing untrusted data☆51Updated 6 months ago
- Yet Another Async Runtime (yaar) focused on forbid(unsafe) and scalability☆80Updated 2 years ago
- A working Rust example for how to implement Borrow for complex keys☆58Updated 8 months ago
- ☆32Updated 2 years ago
- Trait generalization of the fundamental types☆41Updated 5 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
- Take a reference and get back a slice of length one☆26Updated 3 years ago
- Rust library for putting things in a grid☆66Updated last year
- Alternative future adapters that provide cancel safety.☆58Updated this week
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 4 months ago
- A `VecDeque` (and `Vec`) variant that spreads resize load across pushes.☆106Updated 10 months ago
- Simple goldenfile testing in Rust.☆38Updated 2 months ago
- Lossless functionality for platform-native strings.☆70Updated 9 months ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- Lift enum variants to the type-level.☆30Updated 3 years ago
- Find calls to panic functions in rust executables☆36Updated 3 years ago
- ☆123Updated 2 years ago
- A fast, small, full-featured, no-std compatible oneshot channel☆60Updated 11 months ago
- docs.rs as a publishing platform?☆65Updated 3 months ago
- Run closures in parallel☆109Updated 3 weeks ago
- Easy-to-use optional function arguments for Rust☆46Updated 6 months ago