apl-cornell / jifLinks
Java-like Language with Static Information Flow Types
☆13Updated 5 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☆73Updated 5 years ago
- A graduate seminar on SMT solving and solver-aided systems☆27Updated 3 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆40Updated last year
- A standard for floating point accuracy benchmarks☆55Updated this week
- Gallina to Bedrock2 compilation toolkit☆62Updated 3 weeks ago
- Lecture material for DeepSpec Summer School 2018☆67Updated 6 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆103Updated 10 years ago
- SSA vs ANF☆43Updated 10 years ago
- Emacs support for F*☆70Updated 4 months ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Lem semantic definition language☆147Updated 7 months ago
- ☆90Updated 3 years ago
- OCamlPro public development repository for Alt-Ergo☆139Updated 2 weeks ago
- A formalisation of the Calculus of Constructions☆70Updated last year
- Definition of the Viper intermediate verification language.☆89Updated last week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Libraries useful for Dafny programs☆45Updated 2 months ago
- A Verified Compiler for Gallina, Written in Gallina☆156Updated last week
- A compiler for the gradually typed lambda calculus☆76Updated 4 years ago
- ☆56Updated 2 weeks ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- Hoare Type Theory☆81Updated 4 months ago
- Smackage Package Manager for Standard ML☆124Updated 3 years ago
- PC-miner tool for program chairs☆29Updated last month
- ☆27Updated 6 months ago
- ☆29Updated last year
- Standard ML compiler based on typed intermediate languages.☆48Updated 11 years ago
- Development of the CafeOBJ interpreter☆37Updated 11 months ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆172Updated 4 years ago