Alternatives and similar repositories for transpilation:

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

• 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
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆26Updated 5 months ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆62Updated 2 weeks ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆35Updated 3 weeks ago
• llvm / vscode-mlir
  ☆54Updated 9 months 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 …
  ☆15Updated 5 months ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated 3 weeks ago
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆23Updated last year
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆75Updated this week
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆66Updated 2 weeks ago
• sdasgup3 / partial-redundancy-elimination
  Partial Redundancy Elimination Pass in LLVM
  ☆13Updated 5 years ago
• SRI-CSL / filia
  Translate Python and JavaScript into MLIR
  ☆15Updated 2 years ago
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆19Updated this week
• harp-lab / gdlog
  ☆79Updated 3 months ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆45Updated 3 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆58Updated this week
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 6 months ago
• moves-rwth / caesar
  Deductive verification infrastructure for probabilistic programs
  ☆16Updated this week
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆72Updated this week
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆38Updated last year
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated 3 months ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 8 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated 2 years ago
• pronesto / DCC888
  ☆22Updated 6 months ago