Alternatives and similar repositories for jpipe-compiler

Users that are interested in jpipe-compiler are comparing it to the libraries listed below

• fetburner / coq-dijkstra
  A Verified Implementation of Dijkstra's Algorithm
  ☆18Updated 4 years ago
• goblint / analyzer
  Static analysis framework for C
  ☆231Updated this week
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 3 years ago
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated last year
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆27Updated this week
• xavierleroy / coq2html
  An HTML documentation generator for Coq source files
  ☆31Updated last year
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆72Updated 2 weeks ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆33Updated 6 years ago
• rocq-community / templates
  Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
  ☆16Updated 3 months ago
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆43Updated 2 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 4 years ago
• OpenJML / OpenJML
  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 3 weeks ago
• coqoon / coqoon
  eclipse plugin to support side-by-side proofs and code
  ☆25Updated 7 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆125Updated 2 years ago
• gildor478 / ounit
  ☆98Updated 6 months ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆44Updated 4 years ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆69Updated this week
• STAMP-project / test-runner
  test driver to run JUnit tests isolated in a new JVM
  ☆16Updated last year
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 5 years ago
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆321Updated this week
• formalsec / wasp
  WASP was superseded by: https://github.com/OCamlPro/owi
  ☆16Updated last year
• runtimeverification / javamop
  Runtime verification system for Java, using AspectJ for instrumentation.
  ☆50Updated 3 years ago
• INRIA / velus
  A Lustre compiler in Coq
  ☆71Updated last month
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆81Updated 3 months ago
• kth-step / HolBA
  Binary analysis in HOL
  ☆46Updated this week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆69Updated last week
• clarksmr / sf-lectures
  Software Foundations
  ☆151Updated last year
• liquid-java / liquidjava
  Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
  ☆52Updated this week
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆81Updated 6 months ago
• rocq-trakt / trakt
  A generic goal preprocessing tool for proof automation tactics in Coq
  ☆15Updated this week