Alternatives and similar repositories for transpilation:

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

• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆23Updated 4 months ago
• semgrep / semgrep-interfaces
  Store the ATD/openapi/protobuf/... interfaces between semgrep components
  ☆17Updated this week
• 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
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated last month
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆50Updated last month
• runtimeverification / pyk
  Python tools for the K Framework
  ☆13Updated 8 months ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆20Updated 2 months ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆56Updated 7 months ago
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆62Updated 2 weeks ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 3 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 10 months ago
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆71Updated last month
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆12Updated last week
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆31Updated 4 months ago
• dcao / babble
  library learning w egraphs
  ☆17Updated last year
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated this week
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆23Updated last year
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆26Updated last month
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆66Updated 2 weeks ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆27Updated this week
• coq-community / tarjan
  Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …
  ☆13Updated 2 weeks ago
• siraben / coq-wigderson
  Formalization of Wigderson's graph coloring algorithm in Coq
  ☆9Updated last year
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆82Updated this week