Rewrite-based Optimizations (equality saturation, stochastic term rewriting)
☆13Nov 7, 2026Updated this week
Alternatives and similar repositories for ggs
Users that are interested in ggs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fast Common Lisp insertion-ordered linear-probing hash tables and sets☆14Oct 24, 2026Updated 2 weeks ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- ☆12Oct 13, 2026Updated 3 weeks ago
- FPGA synthesis tool powered by equality saturation and program synthesis.☆17Jan 9, 2026Updated 10 months ago
- ☆11Sep 16, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆21Apr 29, 2022Updated 4 years ago
- A small (~1000LoC) embeddable LISP interpreter☆14Feb 28, 2025Updated last year
- Petalisp for Python - a replacement for Numpy.☆13Mar 26, 2019Updated 7 years ago
- GURAFU is a plotting libaray.☆13Sep 12, 2024Updated 2 years ago
- Rust interface for cvc5☆17Oct 13, 2026Updated 3 weeks ago
- Lisp VSCode Extension☆34Oct 25, 2026Updated 2 weeks ago
- Parse CL syntactic constructs in s-expression form (possibly represented as e.g. CSTs) and construct syntax trees☆10Nov 4, 2024Updated 2 years ago
- ONNX runtime for Emacs Lisp☆14Aug 23, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- FYP on using e-graphs to solve smt bitvector problems☆16Jun 24, 2025Updated last year
- ☆14Mar 8, 2021Updated 5 years ago
- ☆12Jun 10, 2026Updated 5 months ago
- Lisp Linear Algebra☆19Mar 4, 2026Updated 8 months ago
- Common Lisp bytecode compiler☆18Updated this week
- Python wraper for eggp☆19Nov 2, 2026Updated last week
- Bring fusion to everyone☆16Feb 6, 2020Updated 6 years ago
- Assembler framework for Common Lisp.☆44Updated this week
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆14Jun 15, 2026Updated 4 months ago
- Tools for the representation of graphs and flowcharts☆21May 18, 2026Updated 5 months ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 3 years ago
- A command line tool and library for generating FFI wrappers for Common Lisp☆40Jun 25, 2026Updated 4 months ago
- A tree-sitter grammar for Soufflé Datalog☆18Oct 25, 2025Updated last year
- Common iteration paths for LOOP☆14Nov 24, 2025Updated 11 months ago
- ☆15Jul 9, 2026Updated 4 months ago
- Array slices for Common Lisp☆18May 14, 2021Updated 5 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- E-Graphs, natively in MLIR☆50Updated this week
- Selective applicative functors laws and theorems☆16Mar 12, 2020Updated 6 years ago
- ☆12Jun 24, 2025Updated last year
- A native compiler for 8-bit PIC micro controllers written in Common Lisp.☆45Apr 25, 2015Updated 11 years ago
- Common Lisp and CXX interoperation with JIT☆73Jan 1, 2025Updated last year
- Line-for-line port of Rogue from C to Common Lisp☆13May 21, 2026Updated 5 months ago
- LLVM's loop analysis theory (Scalar Evolution) formalized in Coq☆10Nov 17, 2018Updated 7 years ago
Are these results useful?