Alternatives and similar repositories for datalog-book:

Users that are interested in datalog-book are comparing it to the libraries listed below

• harp-lab / slog-lang1
  Slog 1.0
  ☆39Updated 9 months ago
• taktoa / eqsat
  A language-generic implementation of equality saturation in Haskell
  ☆21Updated 6 years ago
• grin-compiler / ghc-wpc
  GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…
  ☆10Updated last year
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆20Updated 2 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• MatthewDaggitt / agda-routing
  An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
  ☆26Updated last year
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆30Updated 5 months ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 3 years ago
• TiarkRompf / reachability
  ☆46Updated last month
• plum-umd / cgc
  Constructive Galois connections
  ☆32Updated 7 years ago
• madgen / temporalog
  A Datalog extension to reason about time with CTL operators
  ☆14Updated 5 years ago
• csabahruska / p4f-control-flow-analysis
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Updated 2 years ago
• alashworth / sf-lean
  Software Foundations using the Lean Theorem Prover
  ☆24Updated 4 years ago
• ret / specifica
  Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
  ☆27Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• pigworker / potato
  being an experiment with potato power
  ☆23Updated 5 years ago
• jkoppel / ecta
  ☆34Updated 11 months ago
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆38Updated 9 months ago
• habit-lang / alb
  ☆39Updated 7 months ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆44Updated 8 years ago
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• jespercockx / popl19-tutorial
  Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
  ☆26Updated 6 years ago
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 7 years ago
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆35Updated 4 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 13 years ago
• llee454 / functional-algebra
  This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…
  ☆28Updated 6 years ago
• jmchapman / TT-in-TT
  Type theory in type theory
  ☆16Updated 13 years ago
• yveszhang / ldtyping
  ☆12Updated 8 years ago
• JoeyEremondi / lambda-pi-constraint
  ☆16Updated last month
• jwiegley / coq-cds4ltl
  A formalization of finite, constructive log analysis using linear temporal logic
  ☆20Updated 2 weeks ago