pajju / IncPy
IncPy: An auto-memoizing Python interpreter that enables incremental recomputation
☆19Updated 14 years ago
Related projects ⓘ
Alternatives and complementary repositories for IncPy
- egraphs-good website☆15Updated last month
- Partial evaluation of Python code☆18Updated last year
- Numba compatible RVSDG (Regionalized Value State Dependence Graph) utilities.☆18Updated last month
- Python term rewriting☆27Updated 11 years ago
- program synthesis is possible☆39Updated 5 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆12Updated 6 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆12Updated 6 years ago
- [WIP] Interval Analysis on LLVM IR☆12Updated 4 years ago
- ☆10Updated 3 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- An interface to SAT solver tools (like minisat)☆58Updated 2 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆38Updated 9 months ago
- Agent Manipulation Language☆17Updated 6 years ago
- Python bindings for egg☆47Updated last year
- Python3 auto-active verification library (migrated to an Intel project)☆24Updated 2 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 3 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆15Updated 3 months ago
- Python bindings for the egg-smol rust library☆65Updated this week
- A compiler for BLOG probabilistic programming language☆25Updated 6 years ago
- Busy Beaver deciders backed by Coq proof☆39Updated 4 months ago
- ☆34Updated 7 months ago
- lean-related presentations☆16Updated 10 months ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 4 years ago
- CDCL SAT-solver for GPUs☆10Updated 7 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆18Updated 10 years ago