Awesome datalog libraries, tools and resources
☆64Jan 3, 2020Updated 6 years ago
Alternatives and similar repositories for awesome-datalog
Users that are interested in awesome-datalog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Jun 15, 2026Updated 4 months ago
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- ☆54Aug 11, 2026Updated 2 months ago
- Demystifying the magic of supertactics☆13Nov 2, 2021Updated 5 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 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.
- Libp2p bindings for Gerbil☆16Mar 12, 2022Updated 4 years ago
- Given a sample of JSON, derive an API☆14Apr 17, 2014Updated 12 years ago
- Theorems for Real Closed Fields☆15Oct 28, 2026Updated last week
- Datalog with support for SMT queries and first-order functional programming☆181Oct 26, 2026Updated last week
- A formal proof of LaSalle's invariance principle☆12Feb 3, 2026Updated 9 months ago
- Implementation of Allen's temporal interval relationships and the path consistency algorithm in Java☆10Nov 28, 2021Updated 4 years ago
- Curated list of Prolog packages and resources☆579Sep 24, 2025Updated last year
- [UNMAINTAINED] A Yesod/Haskell based CMS☆21Nov 18, 2014Updated 11 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆25Dec 7, 2023Updated 2 years ago
- A collection of functions which operate on 32-bit signed integers☆12Oct 27, 2024Updated 2 years ago
- 🌋 Idris implementation of patricia tree☆23Nov 6, 2020Updated 6 years ago
- BioGraph: an online service and a graph DB for querying and analyzing bioinformatics resources☆11Oct 18, 2018Updated 8 years ago
- Formalism and proofs for esverify☆20May 26, 2018Updated 8 years ago
- Experimenting with Railway oriented programming and Python☆13Mar 14, 2022Updated 4 years ago
- Clojure library for sitemap generation.☆16Feb 25, 2019Updated 7 years ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 6 years ago
- ☆10Jul 8, 2026Updated 3 months ago
- 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.
- Delimited Continuations for JavaScript☆35Mar 1, 2024Updated 2 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Oct 12, 2026Updated 3 weeks ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Updated this week
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated 6 months ago
- Forked from https://bitbucket.org/openscg/plprofiler.git see:☆15Jan 16, 2023Updated 3 years ago
- Proof of concept to generate safe and fast JavaScript☆24Aug 7, 2022Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆57May 5, 2022Updated 4 years ago
- ALS Prolog Compiler & Development Environment☆21Jun 12, 2026Updated 4 months ago
- End to end declarative web programming with no JS using htmx and SWI-Prolog☆13Aug 28, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 5 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 years ago
- QuickCheck Library using Fantasy-Land☆18Feb 3, 2016Updated 10 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆28Apr 20, 2021Updated 5 years ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆74Aug 25, 2026Updated 2 months ago
- ontoenv is an environment manager for ontology management. It eventually wants to be a package manager for RDF ontologies and graphs.☆14Oct 26, 2026Updated last week
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 5 years ago