rosefromthedead / effing-mad
Algebraic effects for Rust
☆593Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for effing-mad
- Refinement Types for Rust☆656Updated this week
- A precise specification for "Rust lite / MIR plus"☆818Updated this week
- Use Tree Sitter to parse your own languages in Rust☆613Updated 3 weeks ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,158Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,571Updated last month
- Datalog compiler embedded in Rust as a procedural macro☆463Updated 8 months ago
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,287Updated 2 weeks ago
- Capability-oriented version of the Rust standard library☆662Updated this week
- A pure functional language for type-level programming in Rust☆323Updated 2 years ago
- Compile-time reference counting☆437Updated last year
- Logic programming in Rust☆416Updated last week
- Rust programs written entirely in Rust☆854Updated last month
- Data interchange with algebraic data types.☆601Updated 2 months ago
- Rust newtype with guarantees 🇺🇦 🦀☆1,420Updated 2 weeks ago
- Incremental garbage collection from safe Rust☆540Updated 2 months ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,111Updated 4 months ago
- Serde serializable and deserializable trait objects☆1,208Updated 2 weeks ago
- Rust programs written entirely in Rust☆772Updated last month
- Runtime for executing procedural macros as WebAssembly☆1,285Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,092Updated last year
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,137Updated this week
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦☆424Updated this week
- Actor runtime and distributed systems framework for Rust☆716Updated 6 months ago
- Zero-cost functional reactive Signals for Rust☆673Updated 3 months ago
- General-purpose abstractions for incremental computing, in Rust☆346Updated 2 years ago
- a model of MIR and the Rust type/trait system☆285Updated last month
- Easy declarative web interfaces.☆392Updated this week
- Making parsing a breeze☆572Updated this week
- Scan your Rust crate for semver violations.☆1,200Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆613Updated 7 months ago