Munksgaard / session-typesLinks
☆574Updated 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☆840Updated 3 years ago
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???☆372Updated 4 years ago
- CRDTs for common data structures like maps, vecs, sets, text, and JSON☆481Updated 6 years ago
- a Rust library implementing safe, lightweight context switches, without relying on kernel services☆527Updated 4 years ago
- A tool for transforming Rust code using rules☆715Updated 2 years ago
- Rust doesn't have exceptions☆635Updated 5 years ago
- Assorted immutable collection datatypes for Rust☆1,549Updated last year
- Online introspection for Rust☆418Updated 3 years ago
- A pure functional language for type-level programming in Rust☆336Updated 2 years ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆338Updated 8 years ago
- A library to generate syntax diagrams for Rust macros.☆559Updated last year
- Breaking your Rust code for fun and profit☆636Updated 2 years ago
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,385Updated last month
- Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc☆221Updated 5 years ago
- General-purpose abstractions for incremental computing, in Rust☆360Updated 3 years ago
- Software transactional memory☆266Updated 3 years ago
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆333Updated 6 years ago
- (Rust) repl☆442Updated 3 years ago
- Efficient transactional memory in rust.☆210Updated 4 years ago
- Datalog compiler embedded in Rust as a procedural macro☆482Updated last year
- Compile time numbers in Rust.☆563Updated this week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,959Updated last month
- Runtime for executing procedural macros as WebAssembly☆1,429Updated 2 weeks ago
- garbage collection☆323Updated 6 years ago
- Capability-oriented version of the Rust standard library☆714Updated 5 months ago
- A high-level language for Rust☆339Updated 6 years ago
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆218Updated 5 years ago
- safe bindings to io-uring☆675Updated 4 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,053Updated 8 years ago
- A mortifying serialization library for Rust☆343Updated 2 years ago