fan-tom / liquid-rustLinks
Liquid Types implementation for Rust
☆29Updated 2 years ago
Alternatives and similar repositories for liquid-rust
Users that are interested in liquid-rust are comparing it to the libraries listed below
Sorting:
- ☆37Updated 3 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- ☆22Updated 3 years ago
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Session Type EDSL for Rust☆103Updated 2 years ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆45Updated 3 months ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 6 years ago
- A functional scripting language.☆18Updated 5 months ago
- ☆17Updated last year
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- The Steel separation logic library for F*☆35Updated last month
- Datalog with equality for rust☆68Updated last month
- A Result-like type that can collect multiple Errs☆12Updated 4 years ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- Typed λ-calculus in Rust☆29Updated last year
- The Pulse separation logic DSL for F*☆20Updated last week
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- dependent type theory experiment☆26Updated last year
- A Rust hashconsing library.☆32Updated 11 months ago
- Session types for asynchronous communication between multiple parties.☆41Updated 11 months ago
- A simple induction and BMC engine.☆23Updated 3 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 3 months ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆59Updated last year
- Lift enum variants to the type-level.☆33Updated 4 years ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Updated 3 weeks ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago