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:
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- exhaustive testing library☆63Updated 10 months ago
- docs.rs as a publishing platform?☆69Updated last month
- algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics☆26Updated last year
- A working Rust example for how to implement Borrow for complex keys☆66Updated last year
- How to structure concurrent workflows in Rust, via five simple examples.☆32Updated 5 years ago
- A `VecDeque` (and `Vec`) variant that spreads resize load across pushes.☆107Updated 5 months ago
- ☆93Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Have questions on the Rust Foundation? Ask here!☆88Updated 4 years ago
- Efficient sampling with uniform probability☆31Updated 3 years ago
- Advisory cross-platform file locks using file descriptors☆79Updated 2 months ago
- Choose Rust types at compile-time via constants☆67Updated last year
- Easy-to-use optional function arguments for Rust☆47Updated last year
- Rust library for safely and explicitly parsing untrusted data☆51Updated last year
- Stack safe and expressive recursion in Rust☆97Updated 2 weeks ago
- An unordered multiset/bag implementation backed by HashMap☆67Updated 3 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 3 years ago
- ☆52Updated 2 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆157Updated last year
- Seamless Higher-Kinded Types in Rust☆83Updated 2 years ago
- Human-friendly indexed collections☆53Updated last month
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Updated last year
- ☆110Updated last year
- Procedural macro span debugger/visualizer☆40Updated 4 years ago
- Typed index version of Rust slice and Vec containers☆69Updated last month
- generators☆209Updated last year
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- Rust crate for managing cancellable services☆24Updated 3 years ago