brownsys / paralegal
Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can signup for our official release at the link below
☆16Updated last month
Alternatives and similar repositories for paralegal:
Users that are interested in paralegal are comparing it to the libraries listed below
- Session Type EDSL for Rust☆102Updated 2 years ago
- Interface with the rustc compiler for the purpose of program verification☆114Updated this week
- Automagical variable binding library for Rust☆67Updated 5 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 3 years ago
- Liquid Types implementation for Rust☆28Updated 2 years ago
- Slides and handwritten notes on the course on models of programming languages☆50Updated 4 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆97Updated 2 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆33Updated last year
- Transport-polymorphic, asynchronous session types for Rust☆61Updated 2 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- ☆44Updated 2 months ago
- An experimental optimizing compiler for Bril☆59Updated this week
- ☆89Updated 3 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 3 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆85Updated this week
- 🎶 Choreographic programming in Rust 🎶☆43Updated last month
- Pure functional programming with whole-program mutability inference☆55Updated 2 weeks ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆73Updated this week
- Duo - A research language exploring duality in programming language design☆57Updated last year
- Datalog with equality for rust☆67Updated 3 months ago
- ☆30Updated 3 months ago
- Demo for dependent types + runtime code generation☆65Updated last month
- A Language with Dependent Data and Codata Types☆78Updated last week
- benchmarking e-graph extraction☆35Updated 2 months ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆44Updated 3 weeks ago
- Datalog + Egg = Good☆65Updated last year
- ☆22Updated 2 years ago
- Exploring the "expression problem" in Rust☆46Updated 2 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆55Updated 9 months ago