jpipe-mcscert / jpipe-compilerLinks
Justification diagrams made easier!
☆18Updated this week
Alternatives and similar repositories for jpipe-compiler
Users that are interested in jpipe-compiler are comparing it to the libraries listed below
Sorting:
- Another attempt for visualizing proofs☆12Updated 7 months ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Updated 3 years ago
- ☆19Updated 8 years ago
- Mutation analysis tool for Coq verification projects☆29Updated 4 years ago
- Binary analysis in HOL☆40Updated 3 months ago
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆43Updated 5 months ago
- SIGPLAN website☆11Updated last week
- KITTeL/KoAT☆21Updated 6 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 2 weeks ago
- The C4 Concurrent C Fuzzer☆14Updated last year
- Tool for suggesting lemma names in Coq verification projects☆20Updated 2 years ago
- A Verified Implementation of Dijkstra's Algorithm☆18Updated 4 years ago
- A shell AST library in Python☆10Updated 5 months ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆55Updated 11 months ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- ☆10Updated 4 years ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- Static analysis framework for C☆198Updated this week
- An overview of property-based testing functionality☆67Updated 3 weeks ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated 8 months ago
- An HTML documentation generator for Coq source files☆30Updated 10 months ago
- My PhD Thesis☆13Updated 3 years ago
- The Zenon theorem prover☆15Updated last year
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago
- Fully proved small C functions (examples for verification course).☆16Updated 8 years ago
- AST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766☆58Updated 4 months ago
- lean-related presentations☆16Updated last year
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- Clade is a tool for extracting information about software build process and source code☆21Updated last year