A pure Haskell implementation of Datalog
☆105Aug 18, 2020Updated 5 years ago
Alternatives and similar repositories for datalog
Users that are interested in 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:
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- ☆29Oct 8, 2016Updated 9 years ago
- Atidot Code Snippets☆10Mar 9, 2020Updated 6 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Jan 26, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆229Jan 22, 2024Updated 2 years ago
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- Cursor data and manipulation☆22May 29, 2025Updated 9 months ago
- An in-memory datalog implementation for OCaml.☆277Mar 18, 2026Updated last week
- Dyna2 compiler and REPL☆149Jun 14, 2020Updated 5 years ago
- Unification and type inference algorithms☆127Feb 21, 2015Updated 11 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 3 years ago
- A Datalog implementation with an OCaml inspired module system☆42Mar 20, 2026Updated last week
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- Hash consing for arbitrary Haskell data types☆25Dec 4, 2024Updated last year
- ☆13Jan 7, 2026Updated 2 months ago
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 14 years ago
- UI experiments for coda☆66Sep 23, 2021Updated 4 years ago
- A modern, extensible and well-documented prettyprinter.☆308Feb 24, 2026Updated last month
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Sturdy is a library for developing sound static analyses in Haskell.☆63Jun 23, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A library for schema-guided serialization of Haskell datatypes☆17Dec 21, 2020Updated 5 years ago
- Property based testing for Servant using Hedgehog☆19Apr 25, 2021Updated 4 years ago
- Library for parsing, transforming and producing PDF files☆25May 5, 2011Updated 14 years ago
- Parser and type analysis for the Go programming language☆12Aug 3, 2023Updated 2 years ago
- This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.☆17Apr 19, 2019Updated 6 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 8 years ago
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 4 months ago
- Fast equality saturation in Haskell☆95Mar 9, 2026Updated 2 weeks ago
- rdf4h is a library for working with RDF in Haskell☆80Aug 3, 2025Updated 7 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A bidirectional type checker☆67Jun 19, 2017Updated 8 years ago
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 7 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- The SAW core language.☆55Jun 9, 2021Updated 4 years ago
- A haskell library for principled, cross-platform & extensible hashing of types, including an implementation of the FNV-1a algorithm. (DEV…☆23Jan 10, 2017Updated 9 years ago
- An experimental type checker for a modal dependent type theory.☆116May 9, 2020Updated 5 years ago
- Small tensor library a la GLSL☆17Oct 28, 2022Updated 3 years ago