Alternatives and similar repositories for coderrect-github-action

Users that are interested in coderrect-github-action are comparing it to the libraries listed below

• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆86Updated 3 weeks ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆23Updated 5 years ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 4 years ago
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆66Updated last year
• facebookarchive / Rust-SMT-LIB-API
  An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.
  ☆36Updated 5 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆80Updated 2 years ago
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆36Updated last year
• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆68Updated 2 weeks ago
• Aurele-Barriere / CoreJIT
  Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler
  ☆11Updated 2 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆22Updated 2 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 10 years ago
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 years ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆54Updated 10 months ago
• polytypic / prettier-printer
  A pretty printing library
  ☆25Updated 6 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 4 years ago
• Robbepop / stevia
  A simple (unfinished) SMT solver for QF_ABV.
  ☆36Updated 6 years ago
• salmans / rusty-razor
  Razor is a tool for constructing finite models for first-order theories
  ☆55Updated 2 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆245Updated 8 months ago
• oppenlander / generator-rust-ffi
  The Rust FFI generator is a yeoman generator for bootstraping Rust libraries that expose Foreign Function Interface bindings for other la…
  ☆12Updated 10 years ago
• praezi / rust
  RustPräzi: Representing crates.io as a call-based dependency network
  ☆79Updated 6 years ago
• Liby99 / llir
  LLVM IR Binding for Rust
  ☆13Updated 4 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆56Updated this week
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆36Updated last week
• birkenfeld / overload-strings
  Haskell OverloadedStrings for Rust
  ☆11Updated 9 years ago