apl-cornell / jifLinks
Java-like Language with Static Information Flow Types
☆13Updated 7 months ago
Alternatives and similar repositories for jif
Users that are interested in jif are comparing it to the libraries listed below
Sorting:
- Racket Equivalence Graph Library☆19Updated 3 years ago
- Parallel ML compiler☆74Updated 5 years ago
- Gallina to Bedrock2 compilation toolkit☆65Updated 2 weeks ago
- ☆27Updated last month
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 years ago
- Experiments about intermediate representations in compilers☆28Updated 13 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆103Updated 10 years ago
- A compiler for the gradually typed lambda calculus☆76Updated 4 years ago
- Search-based compiler for high-performance DSP programming☆69Updated last year
- Libraries useful for Dafny programs☆45Updated 4 months ago
- A custom parser/auto-formatter for Standard ML☆86Updated 4 months ago
- Standard ML compiler based on typed intermediate languages.☆51Updated 11 years ago
- A standard for floating point accuracy benchmarks☆55Updated last month
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆42Updated last year
- The implementation of the Elevate language☆30Updated 9 months ago
- A graduate seminar on SMT solving and solver-aided systems☆28Updated 3 years ago
- ☆90Updated 3 years ago
- Smackage Package Manager for Standard ML☆124Updated 3 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 10 months ago
- PC-miner tool for program chairs☆29Updated last week
- Definition of the Viper intermediate verification language.☆92Updated this week
- A verified polyhedral scheduling validator in Coq.☆23Updated last year
- A module language for programming with multiple named scopes, orthogonal to lexical nesting.☆17Updated 3 years ago
- ☆56Updated last week
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 12 years ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- OCamlPro public development repository for Alt-Ergo☆139Updated 2 months ago