paholg / minsky
A Minsky Machine in Rust's type system
☆54Updated 5 years ago
Alternatives and similar repositories for minsky:
Users that are interested in minsky are comparing it to the libraries listed below
- 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.☆95Updated last year
- exhaustive testing library☆63Updated 8 months ago
- ☆92Updated last year
- PEG trace visualizer☆83Updated 3 months ago
- Stack safe and expressive recursion in Rust☆96Updated 3 months ago
- A working Rust example for how to implement Borrow for complex keys☆63Updated last year
- Have questions on the Rust Foundation? Ask here!☆88Updated 4 years ago
- Typed index version of Rust slice and Vec containers☆69Updated 6 months ago
- An updated version of linked-hash-map and friends☆111Updated 2 weeks ago
- How to structure concurrent workflows in Rust, via five simple examples.☆32Updated 4 years ago
- Annoyed that Rust has many string types? Well it doesn't have to☆39Updated 3 years ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- An unordered multiset/bag implementation backed by HashMap☆67Updated last month
- PEG parser generator built on top of nom☆70Updated 5 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- A trivial Rust struct for interchange of pixel buffers with width, height & stride☆60Updated 6 months ago
- Efficient sampling with uniform probability☆31Updated 2 years ago
- A wrapper type for cross-type numeric comparisons.☆28Updated 2 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- Rust by Example -- Extended Edition☆68Updated 2 years ago
- Proc-macro typestate DSL for Rust☆148Updated last year
- Simple goldenfile testing in Rust.☆39Updated 2 months ago
- A Set of Bits☆65Updated 4 months ago
- A `VecDeque` (and `Vec`) variant that spreads resize load across pushes.☆107Updated 3 months ago
- A data structure to efficiently intern, cache and restore strings.☆192Updated 3 weeks ago
- ☆112Updated 2 years ago
- A sentinel-based, heapless, `Vec`-like type.☆69Updated 5 years ago
- docs.rs as a publishing platform?☆68Updated 2 months ago