Datalog with support for SMT queries and first-order functional programming
☆181Oct 26, 2026Updated this week
Alternatives and similar repositories for formulog
Users that are interested in formulog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,192Updated this week
- 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
- EGraphs in OCaml☆83Jun 15, 2026Updated 4 months ago
- Engines, queries, and data for dynamic Datalog computation☆137Aug 4, 2021Updated 5 years ago
- A lightweight Datalog engine in Rust☆908Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Datalog that's as easy as ABC.☆72Aug 20, 2025Updated last year
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆156Sep 23, 2025Updated last year
- Datalog compiler embedded in Rust as a procedural macro☆536Dec 14, 2025Updated 10 months ago
- A Toy Inverse Bidirectional Typechecker☆33May 13, 2019Updated 7 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆86Oct 24, 2026Updated last week
- Incremental Program Analysis Framework☆94May 7, 2021Updated 5 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 5 years ago
- egraphs + datalog!☆868Updated this week
- Datalog + Egg = Good☆67May 31, 2023Updated 3 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.
- Kleene algebra modulo theories☆28Nov 21, 2022Updated 3 years ago
- Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.☆17Sep 10, 2021Updated 5 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆22Jul 19, 2016Updated 10 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- Embeddable Lambda Prolog Interpreter☆381Updated this week
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆26Jul 26, 2022Updated 4 years ago
- Racket bindings for Z3☆25May 11, 2019Updated 7 years ago
- library with a semiring class and some useful semirings☆11Nov 23, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆15Jul 22, 2024Updated 2 years ago
- Prolog, Datalog, languages, resources, and beyond!☆38Aug 8, 2026Updated 2 months ago
- 🦠 Reusable components based on algebraic effects☆54Jun 19, 2026Updated 4 months ago
- The Makam Metalanguage☆205Mar 7, 2023Updated 3 years ago
- A graduate seminar on SMT solving and solver-aided systems☆28Jul 17, 2022Updated 4 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- Slog 1.0☆47Jun 11, 2024Updated 2 years ago
- CClyzer port to souffle lang☆21Sep 17, 2026Updated last month
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Oct 10, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A monadic library for symbolic evaluation☆77Jul 16, 2025Updated last year
- egg is a flexible, high-performance e-graph library☆1,858Sep 28, 2026Updated last month
- Datatype-generic object-oriented transformations for OCaml☆17Aug 29, 2026Updated 2 months ago
- An SMT Solver for string constraints☆56Oct 18, 2026Updated 2 weeks ago
- tart: tensor abstracted relations and topologies☆11Jul 5, 2024Updated 2 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆19Mar 19, 2017Updated 9 years ago
- Logic programming in Rust☆592Aug 29, 2026Updated 2 months ago