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☆65Updated 6 months ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Updated last month
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆74Updated last month
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆142Updated 5 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆78Updated last week
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 8 months ago
- An overview of property-based testing functionality☆71Updated 2 months ago
- Programming Languages Grammar House (BNF like grammars)☆31Updated last month
- A Low Barrier Proof Assistant☆123Updated last week
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated last week
- CHR2 to SQL conversion☆14Updated 10 years ago
- Parallel Delta Debugging Framework☆53Updated 8 months ago
- language-agnostic program reducer.☆192Updated 2 months ago
- An LLM-first programming language.☆32Updated 7 months ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- Decompose source code into templates and fragments for any language.☆22Updated 3 years ago
- ☆17Updated last year
- Public snapshots of "ACSL by Example"☆114Updated 3 months ago
- Peasy: An Intuitive Development Environment for P☆14Updated 3 months ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Tutorials and courses for Z3☆86Updated 2 weeks ago
- CN separation logic refinement type system for C☆32Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆75Updated this week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆105Updated this week
- Schedule for ArtOfSAT☆10Updated last year
- Static analysis framework for C☆201Updated this week
- Fuzz testing for Dafny☆13Updated 3 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆19Updated last year
- library learning w egraphs☆20Updated 2 years ago
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year