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
  ☆68Updated 9 months ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆197Updated 3 weeks ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆84Updated 8 months ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆79Updated 2 weeks ago
• 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 …
  ☆17Updated 4 months ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆68Updated 2 years ago
• SRI-CSL / filia
  Translate Python and JavaScript into MLIR
  ☆17Updated 3 years ago
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆114Updated 6 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆144Updated this week
• rems-project / cn
  CN separation logic refinement type system for C
  ☆42Updated this week
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆85Updated last week
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆23Updated 3 years ago
• amshafer / Pinch
  A simple borrow-checked language built using LLVM's MLIR
  ☆26Updated 5 years ago
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆92Updated last week
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆57Updated 6 months ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆151Updated last week
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆38Updated 3 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆15Updated 10 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 11 months ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆41Updated 2 years ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆115Updated last week
• NikolajBjorner / ShonanArtOfSAT
  Schedule for ArtOfSAT
  ☆10Updated 2 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated last week
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆148Updated 6 months ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆21Updated 4 years ago
• harp-lab / gdlog
  ☆87Updated last year
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆75Updated 3 weeks ago
• Copilot-Language / copilot-verifier
  System for verifying the correctness of generated Copilot programs
  ☆17Updated 7 months ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆50Updated 4 months ago