pajju / IncPy
IncPy: An auto-memoizing Python interpreter that enables incremental recomputation
☆18Updated 13 years ago
Related projects: ⓘ
- egraphs-good website☆15Updated last week
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆31Updated 3 years ago
- program synthesis is possible☆39Updated 4 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 4 years ago
- A compiler for BLOG probabilistic programming language☆25Updated 6 years ago
- Partial evaluation of Python code☆18Updated last year
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆12Updated 6 years ago
- ☆10Updated 3 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- Python term rewriting☆27Updated 11 years ago
- MlpIndex - Extremely fast ordered index via memory level parallelism☆12Updated 5 years ago
- Code accompanying the paper "R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents"☆18Updated last year
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 8 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 9 months ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆16Updated last year
- CDCL SAT-solver for GPUs☆9Updated 7 years ago
- SWORD: A Whole Program Race Detector for Java☆12Updated 3 years ago
- Python bindings for the egg-smol rust library☆62Updated last week
- ☆18Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆24Updated 4 months ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆36Updated 6 months ago
- sketches for egg: a flexible, high-performance e-graph library☆24Updated 3 months ago
- Large-Scale Graph Inference☆13Updated 6 months ago
- ☆11Updated 2 years ago
- PyTorch library for synthesizing programs from natural language☆18Updated last month
- ☆32Updated 5 months ago
- Numba compatible RVSDG (Regionalized Value State Dependence Graph) utilities.☆15Updated 2 weeks ago
- Automatic differentiation for NumPy☆42Updated 11 years ago
- Python bindings for egg☆46Updated last year
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 4 years ago