paholg / minskyLinks
A Minsky Machine in Rust's type system
☆58Updated 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☆65Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- primal puts raw power into prime numbers.☆125Updated last year
- PEG trace visualizer☆91Updated last month
- An unordered multiset/bag implementation backed by HashMap☆74Updated 2 weeks ago
- ☆94Updated 2 years ago
- A simple tetris clone using Rust and WebAssembly☆79Updated 2 years ago
- PEG parser generator built on top of nom☆70Updated 6 years ago
- Have questions on the Rust Foundation? Ask here!☆88Updated 4 years ago
- A Set of Bits☆72Updated 3 months ago
- A working Rust example for how to implement Borrow for complex keys☆69Updated last year
- A simple, id-based arena☆120Updated 2 years ago
- Skill-tree rendering☆165Updated last year
- Calm I/O operations for Rust☆76Updated 4 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆164Updated 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…☆102Updated last year
- A rust crate to find the total size of an object, on the stack and on the heap☆111Updated last year
- generators☆211Updated 2 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 8 months ago
- home for proposals in and around compile-time function evaluation☆111Updated 2 years ago
- A library for generating Graphviz DOT language files for graphs.☆77Updated 7 months ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆264Updated last week
- Generic extensions for tapping values in Rust.☆59Updated 6 years ago
- Website for the Rust-Edu organization☆29Updated 5 months ago
- 🎶 Choreographic programming in Rust 🎶☆61Updated 8 months ago
- algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics☆28Updated 3 months ago
- docs.rs as a publishing platform?☆71Updated last week
- Prototype extension of the Rust type system towards checking units-of-measure☆116Updated 5 years ago