google / pyctrLinks
☆23Updated 6 years ago
Alternatives and similar repositories for pyctr
Users that are interested in pyctr are comparing it to the libraries listed below
Sorting:
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Python bindings for the egglog rust library☆90Updated this week
- ☆90Updated 3 years ago
- Python bindings for egg☆49Updated 2 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆32Updated 4 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
- compiler for fortran stencils using verified lifting,☆17Updated 3 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 5 months ago
- POC work on MLIR backend☆61Updated last year
- OCCAM: Object Culling and Concretization for Assurance Maximization☆27Updated 2 years ago
- SRI LibPoly is a C library for manipulating polynomials☆52Updated 2 weeks ago
- sketches for egg: a flexible, high-performance e-graph library☆29Updated 2 months ago
- A translation validation framework for MLIR☆89Updated 8 months ago
- ☆44Updated last month
- ☆24Updated 2 years ago
- Declarative MLIR compilers in Python!☆35Updated 5 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆88Updated 6 years ago
- An interface to SAT solver tools (like minisat)☆62Updated 3 years ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆72Updated 4 years ago
- VATA Tree Automata Library☆33Updated last year
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆110Updated 3 months ago
- A system for programming formally-verified loop transformations.☆16Updated 6 years ago
- simple snapshot-style integration testing for commands☆72Updated 6 months ago
- ☆16Updated 3 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Python term rewriting☆30Updated 12 years ago
- The Shine compiler for the RISE language☆83Updated last week
- Specify and synthesize systems using symbolic algorithms☆51Updated 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 10 years ago
- The implementation of the Elevate language☆30Updated 8 months ago