paholg / minskyLinks
A Minsky Machine in Rust's type system
☆57Updated 5 years ago
Alternatives and similar repositories for minsky
Users that are interested in minsky are comparing it to the libraries listed below
Sorting:
- An unordered multiset/bag implementation backed by HashMap☆71Updated 2 weeks ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated 2 years ago
- exhaustive testing library☆65Updated last year
- PEG trace visualizer☆89Updated last month
- ☆94Updated 2 years ago
- primal puts raw power into prime numbers.☆122Updated last year
- A working Rust example for how to implement Borrow for complex keys☆69Updated last year
- ☆46Updated 4 years ago
- Seamless Higher-Kinded Types in Rust☆87Updated 2 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆53Updated 4 years ago
- A rust crate to find the total size of an object, on the stack and on the heap☆111Updated last year
- Abstract over the atomicity of reference-counting pointers in rust☆166Updated last month
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆164Updated last year
- Simple concurrent progress bars.☆105Updated last year
- Skill-tree rendering☆164Updated last year
- A simple, id-based arena☆119Updated 2 years ago
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆102Updated last year
- Trait generalization of the fundamental types☆46Updated last year
- PEG parser generator built on top of nom☆70Updated 6 years ago
- A `VecDeque` (and `Vec`) variant that spreads resize load across pushes.☆112Updated 2 weeks ago
- Generic extensions for tapping values in Rust.☆58Updated 6 years ago
- Choose Rust types at compile-time via constants☆68Updated last year
- Rust library for safely and explicitly parsing untrusted data☆52Updated last year
- Guide for standard library developers☆85Updated 6 months ago
- A library for generating Graphviz DOT language files for graphs.☆77Updated 7 months ago
- A Set of Bits☆71Updated 2 months ago
- generators☆209Updated 2 years ago
- Calm I/O operations for Rust☆76Updated 4 years ago
- Have questions on the Rust Foundation? Ask here!☆88Updated 4 years ago