pajju / IncPyLinks
IncPy: An auto-memoizing Python interpreter that enables incremental recomputation
☆22Updated 15 years ago
Alternatives and similar repositories for IncPy
Users that are interested in IncPy are comparing it to the libraries listed below
Sorting:
- Robert Munafo's reverse equation solver☆15Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- program synthesis is possible☆41Updated 6 years ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Retrospective of Python compilation efforts☆65Updated 3 years ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- Pure-python C and assembler compiler☆54Updated 10 years ago
- An interface to SAT solver tools (like minisat)☆62Updated 2 years ago
- Python term rewriting☆30Updated 12 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- ☆11Updated 4 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆50Updated last year
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last month
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆21Updated this week
- An curated list of papers on program synthesis.☆69Updated 6 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆42Updated 2 years ago
- a list of StrongAI related resources.☆11Updated 2 years ago
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- egraphs-good website☆18Updated last year
- Python bindings for the egglog rust library☆89Updated this week
- Support for Pattern Matching in Python☆27Updated 4 years ago
- ☆24Updated this week
- A research platform and active library for generalised SAT solving☆33Updated 3 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Pedagogical first-order prover in Python☆76Updated 4 months ago