jpipe-mcscert / jpipe-compilerLinks
Justification diagrams made easier!
☆21Updated 3 weeks ago
Alternatives and similar repositories for jpipe-compiler
Users that are interested in jpipe-compiler are comparing it to the libraries listed below
Sorting:
- Static analysis framework for C☆231Updated last week
- PL/SE conference deadline countdowns☆19Updated 5 years ago
- A Verified Implementation of Dijkstra's Algorithm☆18Updated 4 years ago
- An overview of property-based testing functionality☆81Updated 3 months ago
- Analyse package dependency networks at the call graph level☆96Updated 2 years ago
- Course web page for Fall 2021.☆22Updated 4 years ago
- Goose converts a subset of Go to Rocq☆137Updated last week
- Pluggable type-checking for Java☆27Updated last week
- Software Foundations☆151Updated last year
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆168Updated 2 weeks ago
- Java Mutation Testing Framework Written in Python☆23Updated 5 months ago
- Most influential papers in programming languages☆58Updated last year
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆72Updated 2 weeks ago
- Final project code for 3110, MOSS implementation using OCaml☆26Updated 4 years ago
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆43Updated 2 years ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated last year
- KeY Theorem Prover for Deductive Java Verification☆69Updated this week
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated 2 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆61Updated 2 weeks ago
- Theorem Proving in Emacs☆12Updated 5 months ago
- racket llvm C-API bindings☆17Updated this week
- Troupe programming language☆21Updated last week
- ☆98Updated 6 months ago
- Another attempt for visualizing proofs☆12Updated last year
- A dynamic method for detecting faults in incremental and parallel builds.☆18Updated 3 years ago
- Material for lectures on software product lines☆15Updated last week
- Runtime verification system for Java, using AspectJ for instrumentation.☆50Updated 3 years ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆55Updated 5 years ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated 6 months ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆88Updated 5 months ago