pajju / IncPyLinks
IncPy: An auto-memoizing Python interpreter that enables incremental recomputation
☆23Updated 15 years ago
Alternatives and similar repositories for IncPy
Users that are interested in IncPy are comparing it to the libraries listed below
Sorting:
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Solving floating point SMT constraints on a GPU☆50Updated 5 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- program synthesis is possible☆40Updated 6 years ago
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆25Updated this week
- egraphs-good website☆18Updated last year
- Challenging SAT benchmarks for matrix multiplication☆11Updated 4 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 4 years ago
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆23Updated 2 months ago
- sketches for egg: a flexible, high-performance e-graph library☆30Updated 4 months ago
- Python term rewriting☆30Updated 12 years ago
- A compiler for BLOG probabilistic programming language☆26Updated 8 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 5 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Updated 5 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 3 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Updated 13 years ago
- ☆11Updated 4 years ago
- An interface to SAT solver tools (like minisat)☆62Updated last month
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated this week
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆31Updated last year
- Python bindings for egg☆50Updated 3 years ago
- A tool for testing C compilers automatically☆21Updated 10 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- Python bindings for the egglog rust library☆96Updated this week
- A Python/Cython package for graph edit distances and graph matching☆13Updated 3 years ago
- Parser for the llvm bitcode format☆60Updated this week
- library learning w egraphs☆25Updated 2 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- GPU model checker☆11Updated 6 years ago
- egraph on top of sqlite☆13Updated 3 years ago