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☆826Updated 3 years ago
- A parser combinator library for Rust☆1,325Updated 4 months 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 tool for transforming Rust code using rules☆713Updated 2 years ago
- Online introspection for Rust☆418Updated 3 years ago
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,356Updated last week
- Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc☆219Updated 5 years ago
- a Rust library implementing safe, lightweight context switches, without relying on kernel services☆521Updated 3 years ago
- Rust doesn't have exceptions☆634Updated 4 years ago
- CRDTs for common data structures like maps, vecs, sets, text, and JSON☆481Updated 6 years ago
- Assorted immutable collection datatypes for Rust☆1,534Updated 10 months ago
- Runtime for executing procedural macros as WebAssembly☆1,389Updated last month
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,940Updated 3 weeks ago
- Empowering everyone to build asynchronous software☆857Updated 5 years ago
- Error management☆1,421Updated 5 years ago
- How to avoid complicated coordinated upgrades☆524Updated 5 months ago
- Automated property based testing for Rust (with shrinking).☆2,586Updated last month
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,055Updated 8 years ago
- safe bindings to io-uring☆671Updated 4 years ago
- (Rust) repl☆442Updated 3 years ago
- A pure functional language for type-level programming in Rust☆330Updated 2 years ago
- Application microframework with command-line option parsing, configuration, error handling, logging, and shell interactions☆581Updated 3 weeks ago
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆218Updated 5 years ago
- SIMD for humans☆1,579Updated last year
- Breaking your Rust code for fun and profit☆634Updated 2 years ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,445Updated this week
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆332Updated 5 years ago
- JSON parser which picks up values directly without performing tokenization in Rust☆634Updated 7 years ago
- Error boilerplate for Rust☆729Updated 3 years ago
- Hypothesis-like property testing for Rust☆1,889Updated this week