apl-cornell / jifLinks
Java-like Language with Static Information Flow Types
☆12Updated last month
Alternatives and similar repositories for jif
Users that are interested in jif are comparing it to the libraries listed below
Sorting:
- ☆27Updated last month
- Racket Equivalence Graph Library☆19Updated 3 years ago
- ☆55Updated 2 months ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Provides a reference implementation of FeatherweightRust in Java.☆14Updated 3 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- racket llvm C-API bindings☆17Updated 5 months ago
- Gallina to Bedrock2 compilation toolkit☆54Updated this week
- Rhyme is an Expressive Data-Centric Query Language☆29Updated 3 weeks ago
- Lean4 backend using `libgccjit`!☆11Updated last year
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆17Updated 3 weeks ago
- Coq formalizations and proofs of (data) structures and algorithms.☆46Updated 7 years ago
- ☆42Updated 6 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Parallel ML compiler☆72Updated 5 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Fully proved small C functions (examples for verification course).☆16Updated 7 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆19Updated 3 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆43Updated last month
- Interpreter of the ITGL with dynamic type inference☆22Updated 3 months ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- The language of the future!☆72Updated last year