Munksgaard / session-typesLinks
☆569Updated 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☆833Updated 3 years ago
- CRDTs for common data structures like maps, vecs, sets, text, and JSON☆480Updated 6 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
- a Rust library implementing safe, lightweight context switches, without relying on kernel services☆522Updated 3 years ago
- Online introspection for Rust☆419Updated 3 years ago
- Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc☆221Updated 5 years ago
- A tool for transforming Rust code using rules☆714Updated 2 years ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆335Updated 8 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,057Updated 8 years ago
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆332Updated 6 years ago
- A library to generate syntax diagrams for Rust macros.☆555Updated last year
- Rust doesn't have exceptions☆634Updated 4 years ago
- Efficient transactional memory in rust.☆210Updated 4 years ago
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆218Updated 5 years ago
- Breaking your Rust code for fun and profit☆638Updated 2 years ago
- Assorted immutable collection datatypes for Rust☆1,540Updated 11 months ago
- General-purpose abstractions for incremental computing, in Rust☆356Updated 3 years ago
- safe bindings to io-uring☆671Updated 4 years ago
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,366Updated last month
- QuickCheck bug hunting in Rust standard library data structures☆162Updated 6 years ago
- Empowering everyone to build asynchronous software☆857Updated 5 years ago
- A parser combinator library for Rust☆1,331Updated 6 months ago
- Software transactional memory☆264Updated 3 years ago
- Runtime for executing procedural macros as WebAssembly☆1,400Updated 2 months ago
- garbage collection☆323Updated 6 years ago
- JSON parser which picks up values directly without performing tokenization in Rust☆634Updated 7 years ago
- A pure functional language for type-level programming in Rust☆331Updated 2 years ago
- Datalog compiler embedded in Rust as a procedural macro☆477Updated last year
- A mortifying serialization library for Rust☆340Updated 2 years ago
- (Rust) repl☆442Updated 3 years ago