pajju / IncPyLinks
IncPy: An auto-memoizing Python interpreter that enables incremental recomputation
☆22Updated 14 years ago
Alternatives and similar repositories for IncPy
Users that are interested in IncPy are comparing it to the libraries listed below
Sorting:
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆15Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 4 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- ☆10Updated 4 years ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- Utilities for constructing a large dataset of LLVM IR☆21Updated last week
- program synthesis is possible☆41Updated 5 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- ☆14Updated last year
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆16Updated 3 years ago
- GPU model checker☆11Updated 6 years ago
- ☆43Updated 2 years ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- Partial evaluation of Python code☆21Updated 2 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- [WIP] Interval Analysis on LLVM IR☆12Updated 4 years ago
- egraphs-good website☆17Updated 7 months ago
- ☆11Updated 3 years ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 3 weeks ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- 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
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 5 years ago
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆17Updated this week
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Updated 7 years ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆60Updated 2 years ago
- Python bindings for egg☆49Updated 2 years ago
- A fast and certifying solver for quantified Boolean formulas.☆27Updated last month