apl-cornell / jifLinks
Java-like Language with Static Information Flow Types
☆13Updated 9 months ago
Alternatives and similar repositories for jif
Users that are interested in jif are comparing it to the libraries listed below
Sorting:
- Parallel ML compiler☆74Updated 5 years ago
- Gallina to Bedrock2 compilation toolkit☆65Updated last week
- ☆91Updated 3 years ago
- Experiments about intermediate representations in compilers☆28Updated 13 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 years ago
- Libraries useful for Dafny programs☆48Updated 5 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆86Updated last week
- SSA vs ANF☆47Updated 10 years ago
- RISC-V Specification in Coq☆116Updated last month
- The Eldarica model checker☆100Updated last week
- Lecture material for DeepSpec Summer School 2018☆68Updated 7 years ago
- Lem semantic definition language☆150Updated 10 months ago
- Racket Equivalence Graph Library☆19Updated 3 years ago
- LVC verified compiler☆60Updated 7 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆43Updated last year
- A graduate seminar on SMT solving and solver-aided systems☆28Updated 3 years ago
- ☆33Updated 3 years ago
- ☆28Updated 2 months ago
- ☆56Updated last week
- A mechanisation of Wasm in Coq(Rocq)☆114Updated this week
- Kodkod solver for relational logic☆84Updated 2 years ago
- EGraphs in OCaml☆80Updated 2 years ago
- Definition of the Viper intermediate verification language.☆95Updated this week
- PC-miner tool for program chairs☆29Updated last month
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 4 years ago
- The Ynot Project source code.☆22Updated 11 years ago
- A Verified Compiler for Gallina, Written in Gallina☆158Updated this week
- A compiler for the gradually typed lambda calculus☆76Updated 4 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆157Updated 2 weeks ago
- Collection of Automated Reasoners☆35Updated 2 months ago