☆93Oct 22, 2024Updated 2 years ago
Alternatives and similar repositories for gdlog
Users that are interested in gdlog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- vertical + gpu + free join + datalog☆22Feb 12, 2025Updated last year
- ☆12Oct 13, 2026Updated 3 weeks ago
- ☆11May 1, 2024Updated 2 years ago
- Slog 1.0☆47Jun 11, 2024Updated 2 years ago
- An experimental optimizing compiler for Bril using egglog☆105Oct 21, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- LLVM support for the lean theorem prover☆53Sep 14, 2021Updated 5 years ago
- egraphs + datalog!☆868Updated this week
- Logic programming in Rust☆592Aug 29, 2026Updated 2 months ago
- ☆14Jun 15, 2026Updated 4 months ago
- benchmarking e-graph extraction☆54Feb 2, 2026Updated 9 months ago
- A Scala equality saturation library☆21Sep 11, 2026Updated last month
- My Blog☆18Oct 17, 2026Updated 2 weeks ago
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 7 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Datalog + Egg = Good☆67May 31, 2023Updated 3 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- Solving floating point SMT constraints on a GPU☆50Dec 22, 2020Updated 5 years ago
- List of Linux kernel data races found in recent 5 years☆13Jul 28, 2018Updated 8 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆420Jun 21, 2022Updated 4 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆14May 30, 2023Updated 3 years ago
- Genetic program repair using GHC☆33May 16, 2024Updated 2 years ago
- ☆12Sep 29, 2021Updated 5 years ago
- ☆44Jun 28, 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.
- A deterministic parser with fused lexing☆79Jul 1, 2023Updated 3 years ago
- A Haskell probabilistic programming library.☆23May 28, 2026Updated 5 months ago
- Automatically generate a compiler using equality saturation☆36Apr 3, 2024Updated 2 years ago
- Prolog, Datalog, languages, resources, and beyond!☆38Aug 8, 2026Updated 2 months ago
- ☆27Apr 13, 2025Updated last year
- ☆14Apr 24, 2024Updated 2 years ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,501Jul 7, 2023Updated 3 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆156Sep 23, 2025Updated last year
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆13May 3, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Lean (4) type checker written in RPython☆11Oct 26, 2026Updated last week
- ☆12Apr 24, 2025Updated last year
- Compiler optimizer for arbitrary control flow based on equality saturation☆116May 19, 2022Updated 4 years ago
- This package provides an interface and foundation for verified SAT reasoning☆57Aug 29, 2024Updated 2 years ago
- An egglog-compatible but faster ahead-of-time compiling e-graph engine.☆26Jul 26, 2025Updated last year
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- ☆50Sep 24, 2026Updated last month