Alternatives and similar repositories for COBOLd

Users that are interested in COBOLd are comparing it to the libraries listed below

• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated last month
• hycos / regex2smtlib
  A regular expression to SMT-LIB constraint translator
  ☆11Updated 6 years ago
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆12Updated 5 years ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆56Updated this week
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated last month
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆57Updated last month
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆80Updated 7 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated last month
• arsalan0c / dafny-of-python
  A tool for deductive verification of Python programs based on Dafny
  ☆20Updated 3 years ago
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆44Updated 2 months ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆85Updated this week
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆59Updated this week
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 9 years ago
• petablox / petablox
  Main distribution of Petablox
  ☆35Updated 7 years ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆102Updated this week
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 6 months ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated 2 weeks ago
• julianthome / autorex
  A dk.brics FSM to regular-expression-string converter
  ☆10Updated 4 years ago
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 2 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆74Updated this week
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 9 months ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated 10 months ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆125Updated last month
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆23Updated 3 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated 2 months ago