NeuralCoder3 / transpilation
A summary of ideas about transpilation -- work in progress
☆17Updated last year
Related projects: ⓘ
- The C4 Concurrent C Fuzzer☆13Updated 10 months ago
- Store the ATD/openapi/protobuf/... interfaces between semgrep components☆16Updated this week
- Genetic program repair using GHC☆28Updated 4 months ago
- Cerberus C semantics☆49Updated this week
- The Cubicle model checker☆14Updated 6 months ago
- Python tools for the K Framework☆13Updated 4 months ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated 9 months ago
- SWORD: A Whole Program Race Detector for Java☆12Updated 3 years ago
- Staged Abstract Interpreters☆64Updated last year
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 2 years ago
- A synthesis-enabled solver for relational logic☆28Updated 6 years ago
- System for verifying the correctness of generated Copilot programs☆14Updated last week
- Decompose source code into templates and fragments for any language.☆20Updated 2 years ago
- sketches for egg: a flexible, high-performance e-graph library☆24Updated 3 months ago
- embedding MLIR in LEAN☆47Updated 3 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆29Updated last week
- Purely functional data structures in Koka☆9Updated 2 years ago
- ☆13Updated this week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆53Updated 2 weeks ago
- An overview of property-based testing functionality☆52Updated 3 months ago
- ☆36Updated 4 months ago
- Peasy: An Intuitive Development Environment for P☆13Updated last week
- Fuzz testing for Dafny☆13Updated 2 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆0Updated 5 years ago
- Isabelle LLVM Code Generator and Refinement☆26Updated 3 weeks ago
- Patches Assured up to Trace Equivalence☆15Updated last week
- Parallel Delta Debugging Framework☆47Updated 3 weeks ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- Translate Python and JavaScript into MLIR☆14Updated 2 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆28Updated 8 months ago