apl-cornell / jifLinks
Java-like Language with Static Information Flow Types
☆12Updated 4 months ago
Alternatives and similar repositories for jif
Users that are interested in jif are comparing it to the libraries listed below
Sorting:
- Gallina to Bedrock2 compilation toolkit☆60Updated last week
- Parallel ML compiler☆73Updated 5 years ago
- Experiments about intermediate representations in compilers☆25Updated 13 years ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago
- A graduate seminar on SMT solving and solver-aided systems☆27Updated 3 years ago
- SSA vs ANF☆43Updated 10 years ago
- ☆88Updated 3 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Definition of the Viper intermediate verification language.☆89Updated this week
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆40Updated 11 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆78Updated last week
- Lem semantic definition language☆146Updated 6 months ago
- A Verified Compiler for Gallina, Written in Gallina☆153Updated last month
- ☆55Updated this week
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 12 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆100Updated last year
- ☆42Updated 6 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- A standard for floating point accuracy benchmarks☆52Updated 6 months ago
- ☆33Updated 3 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆102Updated 10 years ago
- Tutorial for using the MPL compiler for Parallel ML☆21Updated 8 months ago
- CN separation logic refinement type system for C☆34Updated this week
- PC-miner tool for program chairs☆28Updated 2 weeks ago
- A verified polyhedral scheduling validator in Coq.☆22Updated 11 months ago
- SPARK 2014 repository for the Why3 verification platform.☆32Updated last week
- Racket Equivalence Graph Library☆19Updated 3 years ago
- A formalisation of the Calculus of Constructions☆70Updated last year
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago