NeuralCoder3 / transpilationLinks
A summary of ideas about transpilation -- work in progress
☆22Updated 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☆66Updated 3 months ago
- ☆50Updated last month
- A framework for testing compilers' type checkers☆53Updated 10 months ago
- Tutorials and courses for Z3☆83Updated 3 weeks ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- Schedule for ArtOfSAT☆10Updated last year
- ☆82Updated 7 months ago
- SymDiff-Differential-Program-Verifier☆35Updated 3 weeks ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆26Updated last year
- The Gillian Platform main repository☆85Updated this week
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆69Updated last month
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆42Updated this week
- WASP was superseded by: https://github.com/OCamlPro/owi☆15Updated 9 months ago
- An overview of property-based testing functionality☆66Updated this week
- A Flexible and Efficient Proof Checker for SMT Solvers☆25Updated this week
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆11Updated 2 years ago
- C Intermediate Language☆145Updated 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 …☆16Updated 9 months ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- language-agnostic program reducer.☆191Updated 2 months ago
- ☆17Updated last year
- A Low Barrier Proof Assistant☆110Updated this week
- Peasy: An Intuitive Development Environment for P☆14Updated 3 weeks ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆105Updated last week
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 2 months ago
- Some experiments with SMT solvers and GIMPLE IR☆74Updated last week
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 months ago