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
☆15Updated last week
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☆101Updated 2 years ago
- Liquid Types implementation for Rust☆26Updated 2 years ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- A library for deadlock-free session-typed communication in Rust.☆46Updated 3 years ago
- Slides and handwritten notes on the course on models of programming languages☆50Updated 4 years ago
- Interface with the rustc compiler for the purpose of program verification☆105Updated this week
- Demo for dependent types + runtime code generation☆54Updated this week
- Pure functional programming with whole-program mutability inference☆50Updated last week
- ☆88Updated 3 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- 🎶 Choreographic programming in Rust 🎶☆39Updated this week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆69Updated 3 months ago
- Datalog with equality for rust☆63Updated last month
- a proof-of-concept programming language based on Call-by-push-value☆50Updated last week
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆43Updated 4 months ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆92Updated 2 years ago
- A Language with Dependent Data and Codata Types☆57Updated this week
- ☆25Updated last month
- being an operating system for typechecking processes☆121Updated last year
- Exploring the "expression problem" in Rust☆46Updated 2 years ago
- ☆23Updated last week
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆33Updated last year
- ☆38Updated 3 years ago
- Parser Combinator Library for Lean 4☆34Updated this week
- Macros have types!☆129Updated last year
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆79Updated 4 years ago
- A Hindley-Milner polymorphic typing system☆56Updated 11 months ago
- Datalog + Egg = Good☆65Updated last year
- Reference compiler for c0☆29Updated 3 months ago