paholg / minskyLinks
A Minsky Machine in Rust's type system
☆56Updated 5 years ago
Alternatives and similar repositories for minsky
Users that are interested in minsky are comparing it to the libraries listed below
Sorting:
- exhaustive testing library☆64Updated 11 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- PEG trace visualizer☆87Updated 5 months ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆161Updated last year
- primal puts raw power into prime numbers.☆122Updated 9 months ago
- An unordered multiset/bag implementation backed by HashMap☆67Updated 4 months ago
- Have questions on the Rust Foundation? Ask here!☆88Updated 4 years ago
- A Set of Bits☆67Updated 3 weeks ago
- A working Rust example for how to implement Borrow for complex keys☆66Updated last year
- ☆93Updated last year
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆100Updated last year
- Choose Rust types at compile-time via constants☆68Updated last year
- Stack safe and expressive recursion in Rust☆97Updated last month
- A simple, id-based arena☆120Updated last year
- Skill-tree rendering☆154Updated last year
- Abstract over the atomicity of reference-counting pointers in rust☆157Updated 3 months ago
- A `VecDeque` (and `Vec`) variant that spreads resize load across pushes.☆107Updated 6 months ago
- A rust crate to find the total size of an object, on the stack and on the heap☆108Updated last year
- Calm I/O operations for Rust☆76Updated 4 years ago
- Rust library for safely and explicitly parsing untrusted data☆51Updated last year
- A library for generating Graphviz DOT language files for graphs.☆76Updated 3 months ago
- 🎶 Choreographic programming in Rust 🎶☆59Updated 4 months ago
- generators☆210Updated last year
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- Proc-macro typestate DSL for Rust☆151Updated 2 years ago
- A rust crate to offer compile-time assistance for working with unsafe code.☆122Updated 3 years ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- docs.rs as a publishing platform?☆69Updated 2 months ago
- Easy-to-use optional function arguments for Rust☆47Updated last year