google / pyctrLinks
☆22Updated 6 years ago
Alternatives and similar repositories for pyctr
Users that are interested in pyctr are comparing it to the libraries listed below
Sorting:
- Python bindings for the egg-smol rust library☆86Updated last week
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆104Updated 3 weeks ago
- ☆16Updated 3 years ago
- The implementation of the Elevate language☆29Updated 5 months ago
- ☆88Updated 3 years ago
- VATA Tree Automata Library☆32Updated last year
- program synthesis is possible☆41Updated 5 years ago
- ☆23Updated 2 years ago
- Python bindings for egg☆49Updated 2 years ago
- POC work on MLIR backend☆58Updated last year
- compiler for fortran stencils using verified lifting,☆17Updated 3 years ago
- Haskell bindings for MLIR☆110Updated 6 months ago
- ☆61Updated 3 weeks ago
- Partial evaluation of Python code☆22Updated 2 years ago
- sketches for egg: a flexible, high-performance e-graph library☆28Updated 5 months ago
- egraph <-> json☆14Updated this week
- Python term rewriting☆30Updated 12 years ago
- Declarative MLIR compilers in Python!☆35Updated 4 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago
- Egraphs Modulo Theories☆16Updated 2 months ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆31Updated 4 years ago
- The Shine compiler for the RISE language☆83Updated last month
- Grammar prioritization support for EUSolver.☆13Updated 6 years ago
- benchmarking e-graph extraction☆47Updated 3 months ago
- A standard for floating point accuracy benchmarks☆52Updated 5 months ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 2 months ago
- An interface to SAT solver tools (like minisat)☆61Updated 2 years ago