rosefromthedead / effing-mad
Algebraic effects for Rust
☆586Updated 2 months ago
Related projects: ⓘ
- Refinement Types for Rust☆639Updated this week
- Use Tree Sitter to parse your own languages in Rust☆598Updated 5 months ago
- A precise specification for "Rust lite / MIR plus"☆809Updated last week
- Creusot helps you prove your code is correct in an automated fashion.☆1,113Updated this week
- Rust programs written entirely in Rust☆749Updated 3 weeks ago
- Data interchange with algebraic data types.☆588Updated 2 weeks ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,551Updated last month
- Incremental garbage collection from safe Rust☆498Updated last week
- Actor runtime and distributed systems framework for Rust☆706Updated 4 months ago
- Capability-oriented version of the Rust standard library☆649Updated 3 weeks ago
- a model of MIR and the Rust type/trait system☆282Updated 2 months ago
- A pure functional language for type-level programming in Rust☆320Updated last year
- Rust programs written entirely in Rust☆826Updated 3 weeks ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,100Updated 3 weeks ago
- Datalog compiler embedded in Rust as a procedural macro☆452Updated 6 months ago
- Compile-time reference counting☆428Updated last year
- An implementation of Joshua Yanovski's Ghost Cell paper.☆438Updated 7 months ago
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦☆398Updated this week
- ☆519Updated this week
- ☆696Updated last month
- logic programming in Rust☆387Updated 2 months ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,081Updated 2 months ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆811Updated 5 months ago
- A fast bump allocation arena for Rust☆1,396Updated last week
- Making parsing a breeze☆518Updated last week
- Rust grammar tool libraries and binaries☆507Updated 3 weeks ago
- Hierarchical state machines for designing event-driven systems☆574Updated 3 months ago
- Easy self-referential struct generation for Rust.☆526Updated last month
- Serde serializable and deserializable trait objects☆1,152Updated 3 weeks ago
- A fast and flexible allocator for no_std and WebAssembly☆407Updated last month