Munksgaard / session-types
☆549Updated last year
Related projects: ⓘ
- A lightweight Datalog engine in Rust☆795Updated 2 years ago
- CRDTs for common data structures like maps, vecs, sets, text, and JSON☆473Updated 5 years ago
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???☆358Updated 3 years ago
- Online introspection for Rust☆413Updated 2 years ago
- Rust doesn't have exceptions☆627Updated 4 years ago
- A tool for transforming Rust code using rules☆711Updated last year
- Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc☆222Updated 4 years ago
- Assorted immutable collection datatypes for Rust☆1,490Updated last month
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,246Updated 2 weeks ago
- a Rust library implementing safe, lightweight context switches, without relying on kernel services☆507Updated 3 years ago
- Runtime for executing procedural macros as WebAssembly☆1,252Updated 2 months ago
- A parser combinator library for Rust☆1,291Updated 5 months ago
- Capability-oriented version of the Rust standard library☆649Updated 3 weeks ago
- General-purpose abstractions for incremental computing, in Rust☆343Updated 2 years ago
- Datalog compiler embedded in Rust as a procedural macro☆452Updated 6 months ago
- safe bindings to io-uring☆608Updated 3 years ago
- (Rust) repl☆439Updated 2 years ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆331Updated 7 years ago
- PEG parser combinators using operator overloading without macros.☆496Updated 6 months ago
- Empowering everyone to build asynchronous software☆862Updated 4 years ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,812Updated this week
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆843Updated this week
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆215Updated 4 years ago
- JSON parser which picks up values directly without performing tokenization in Rust☆631Updated 6 years ago
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆324Updated 5 years ago
- A library to generate syntax diagrams for Rust macros.☆534Updated last month
- A pure functional language for type-level programming in Rust☆320Updated last year
- [INACTIVE] Rust's standard library, free of C dependencies, for Linux systems☆518Updated 5 years ago
- SIMD for humans☆1,557Updated last year
- Breaking your Rust code for fun and profit☆624Updated last year