paholg / minsky
A Minsky Machine in Rust's type system
☆53Updated 4 years ago
Alternatives and similar repositories for minsky:
Users that are interested in minsky are comparing it to the libraries listed below
- An unordered multiset/bag implementation backed by HashMap☆66Updated last month
- How to structure concurrent workflows in Rust, via five simple examples.☆31Updated 4 years ago
- Type-level named values with partial dependent type support in Rust☆56Updated 2 years ago
- exhaustive testing library☆63Updated 6 months ago
- Have questions on the Rust Foundation? Ask here!☆88Updated 4 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- docs.rs as a publishing platform?☆66Updated last week
- A `VecDeque` (and `Vec`) variant that spreads resize load across pushes.☆106Updated last month
- Stack safe and expressive recursion in Rust☆96Updated 3 weeks ago
- ☆93Updated last year
- A working Rust example for how to implement Borrow for complex keys☆62Updated 10 months ago
- PEG trace visualizer☆79Updated last week
- Spawn processes with arbitrary closures in rust☆109Updated 3 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated 2 years ago
- Rust crate for managing cancellable services☆24Updated 3 years ago
- Rust's built-in testing and benchmarking framework☆60Updated 3 years ago
- To futures-lite as futures-lite is to futures: smaller.☆53Updated last month
- Testing out a Zero Cost Abstraction in Rust compared to similar approaches in C# and Java☆47Updated 5 months ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- ☆123Updated 2 years ago
- Wraps around a futures::Spawn and adds diagnostics to it☆32Updated 4 years ago
- A fast pure-rust no-unsafe implementation of LZ4 compression and decompression☆109Updated 11 months ago
- Yet Another Async Runtime (yaar) focused on forbid(unsafe) and scalability☆80Updated 3 years ago
- Typed index version of Rust slice and Vec containers☆68Updated 3 months ago
- A crate with indexed arenas with small memory footprint☆76Updated 5 months ago
- Alternative future adapters that provide cancel safety.☆60Updated this week
- Lift enum variants to the type-level.☆31Updated 3 years ago
- Easy-to-use optional function arguments for Rust☆46Updated 9 months ago
- Run closures in parallel☆112Updated last week