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
  ☆38Updated 7 months ago
• jkoppel / ecta
  ☆33Updated 9 months ago
• csabahruska / p4f-control-flow-analysis
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Updated 2 years ago
• taktoa / eqsat
  A language-generic implementation of equality saturation in Haskell
  ☆21Updated 6 years ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• TiarkRompf / reachability
  ☆44Updated 2 months ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• plclub / cbpv-effects-coeffects
  Formalization of CBPV extended with effect and coeffect tracking
  ☆12Updated 5 months ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆14Updated last month
• madgen / temporalog
  A Datalog extension to reason about time with CTL operators
  ☆14Updated 5 years ago
• slasser / vermillion
  LL(1) parser generator verified in Coq
  ☆45Updated 5 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 4 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• ionathanch / parapoly
  A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
  ☆29Updated 5 months ago
• RedPRL / algaett
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆33Updated last year
• ISANobody / sill
  ☆29Updated 9 years ago
• jespercockx / popl19-tutorial
  Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
  ☆26Updated 6 years ago
• sweirich / graded-haskell
  Graded Dependent Type systems
  ☆24Updated last year
• david-christiansen / bob24
  ☆13Updated 10 months ago
• neel-krishnaswami / adjs
  Higher-order FRP compiler
  ☆14Updated 3 years ago
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆38Updated 7 months ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆33Updated last week
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆29Updated 3 months ago
• ecavallo / ptt
  Experimental type-checker for internally parametric type theory
  ☆32Updated 3 years ago
• alashworth / sf-lean
  Software Foundations using the Lean Theorem Prover
  ☆23Updated 4 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆21Updated 2 months ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 3 months ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 7 months ago