NeuralCoder3 / transpilationLinks
A summary of ideas about transpilation -- work in progress
☆23Updated 2 years ago
Alternatives and similar repositories for transpilation
Users that are interested in transpilation are comparing it to the libraries listed below
Sorting:
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 11 months ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆79Updated last week
- language-agnostic program reducer.☆200Updated last month
- 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
- CHR2 to SQL conversion☆15Updated 10 years ago
- A Low Barrier Proof Assistant☆153Updated last week
- VSCode extension that is designed to help automate writing of Coq proofs.☆120Updated 7 months ago
- Programming Languages Grammar House (BNF like grammars)☆32Updated 6 months ago
- 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
- An overview of property-based testing functionality☆80Updated 2 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated last year
- library learning w egraphs☆25Updated 2 years ago
- A program synthesis framework for verified lifting applications☆61Updated 8 months ago
- Datalog with support for SMT queries and first-order functional programming☆165Updated last week
- Staged Abstract Interpreters☆69Updated 2 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆116Updated this week
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆45Updated last week
- System for verifying the correctness of generated Copilot programs☆17Updated 8 months ago
- 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
- pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…☆183Updated 3 years ago
- Interactive visualizer for e-graphs☆28Updated 2 weeks ago
- Forge: A Tool and Language for Teaching Formal Methods☆95Updated this week
- The Daedalus data description language☆87Updated last week
- SymDiff-Differential-Program-Verifier☆38Updated 5 months ago
- Rewrite Rule Inference Using Equality Saturation☆150Updated 7 months ago
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- egg is a flexible, high-performance e-graph library☆13Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- Tutorials and courses for Z3☆98Updated last week
- MimIR is my Intermediate Representation☆89Updated last week