Alternatives and similar repositories for transpilation

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

• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated 2 months ago
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆79Updated 3 weeks ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆188Updated last month
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆34Updated this week
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 9 months ago
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆63Updated last year
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆27Updated this week
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆12Updated 8 months ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆65Updated 3 weeks ago
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆125Updated last month
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆100Updated this week
• seahorn / seahorn-tutorial
  Supplementary files for SSFT 2015 summer school
  ☆11Updated 5 years ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆164Updated 2 weeks ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 3 months ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆41Updated this week
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 2 months ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆39Updated last year
• karineek / CsmithEdge
  A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …
  ☆16Updated 8 months ago
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆24Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated 2 weeks ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• hkust-taco / superoop
  Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…
  ☆11Updated last year
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆50Updated this week
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆26Updated last year
• fredfeng / Trinity
  ☆24Updated 3 weeks ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• JohnLyu2 / z3alpha
  Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…
  ☆17Updated this week