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 11 months ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆200Updated 2 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆15Updated 10 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆80Updated this week
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆153Updated this week
• 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 6 months ago
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆32Updated 7 months ago
• dcao / babble
  library learning w egraphs
  ☆25Updated 2 years ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆87Updated last week
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆47Updated this week
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆23Updated 3 years ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆41Updated last year
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆62Updated last year
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆54Updated 2 months ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆80Updated 2 months ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆150Updated 5 years ago
• NikolajBjorner / ShonanArtOfSAT
  Schedule for ArtOfSAT
  ☆10Updated 2 years ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆38Updated 2 months ago
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆21Updated 2 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆174Updated this week
• 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
• rems-project / cn
  CN separation logic refinement type system for C
  ☆44Updated this week
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆116Updated last week
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆120Updated 7 months ago
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆98Updated 2 weeks ago
• p-org / peasy-ide-vscode
  Peasy: An Intuitive Development Environment for P
  ☆16Updated 8 months ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆38Updated 5 months ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆33Updated 4 months ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆69Updated 2 years ago