jpipe-mcscert / jpipe-compilerLinks
Justification diagrams made easier!
☆21Updated 3 months ago
Alternatives and similar repositories for jpipe-compiler
Users that are interested in jpipe-compiler are comparing it to the libraries listed below
Sorting:
- Course web page for Fall 2021.☆22Updated 3 years ago
- Sawja provides a high level representation of Java bytecode programs and static analysis tools.☆12Updated last year
- Static analysis framework for C☆215Updated this week
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆163Updated last week
- Final project code for 3110, MOSS implementation using OCaml☆26Updated 3 years ago
- A GitHub Action to install TeX Live☆38Updated last week
- An overview of property-based testing functionality☆74Updated last week
- A Verified Implementation of Dijkstra's Algorithm☆18Updated 4 years ago
- Binary analysis in HOL☆43Updated this week
- Another attempt for visualizing proofs☆12Updated last year
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆88Updated 2 months ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated last year
- The Caml Light implementation of the Caml language☆67Updated 2 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated last year
- ☆18Updated 2 years ago
- An OCaml library providing a C parser and lexer☆42Updated last year
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆17Updated 3 weeks ago
- Tool implementing Property Probes☆22Updated last week
- Frama-C and WP tutorial☆66Updated 7 months ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆124Updated 2 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆57Updated last year
- The main codex repository☆24Updated last year
- Famous 99 problems in OCaml☆58Updated 3 years ago
- GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]☆15Updated 8 months ago
- An HTML documentation generator for Coq source files☆31Updated last year
- Most influential papers in programming languages☆57Updated 10 months ago
- LablTk, an OCaml interface for Tcl/Tk☆36Updated 9 months ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆76Updated last month
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆55Updated 5 years ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆15Updated 2 months ago