Munksgaard / session-typesLinks
☆568Updated 2 years ago
Alternatives and similar repositories for session-types
Users that are interested in session-types are comparing it to the libraries listed below
Sorting:
- A lightweight Datalog engine in Rust☆820Updated 3 years ago
- CRDTs for common data structures like maps, vecs, sets, text, and JSON☆477Updated 6 years ago
- a Rust library implementing safe, lightweight context switches, without relying on kernel services☆521Updated 3 years ago
- Assorted immutable collection datatypes for Rust☆1,534Updated 9 months ago
- Online introspection for Rust☆418Updated 3 years ago
- Empowering everyone to build asynchronous software☆857Updated 5 years ago
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???☆368Updated 4 years ago
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆332Updated 5 years ago
- General-purpose abstractions for incremental computing, in Rust☆356Updated 3 years ago
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,349Updated 2 months ago
- Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc☆219Updated 5 years ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆336Updated 8 years ago
- A parser combinator library for Rust☆1,323Updated 4 months ago
- A tool for transforming Rust code using rules☆713Updated last year
- Error boilerplate for Rust☆729Updated 3 years ago
- Rust doesn't have exceptions☆634Updated 4 years ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,932Updated this week
- How to avoid complicated coordinated upgrades☆519Updated 4 months ago
- (Rust) repl☆442Updated 3 years ago
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆218Updated 5 years ago
- Compile time numbers in Rust.☆547Updated last month
- Runtime for executing procedural macros as WebAssembly☆1,387Updated 2 weeks ago
- A pure functional language for type-level programming in Rust☆330Updated 2 years ago
- Breaking your Rust code for fun and profit☆634Updated 2 years ago
- safe bindings to io-uring☆670Updated 3 years ago
- Efficient transactional memory in rust.☆210Updated 3 years ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,391Updated this week
- Arena based tree 🌲 structure by using indices instead of reference counted pointers☆747Updated 3 weeks ago
- Error management☆1,422Updated 5 years ago
- QuickCheck bug hunting in Rust standard library data structures☆162Updated 6 years ago