Alternatives and similar repositories for datalog-book

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

• taktoa / eqsat
  A language-generic implementation of equality saturation in Haskell
  ☆21Updated 6 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆32Updated 6 years ago
• jkoppel / ecta
  ☆35Updated last year
• jespercockx / ohrid19-agda
  Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
  ☆23Updated 5 years ago
• ionathanch / parapoly
  A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
  ☆30Updated 11 months ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 7 months ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆54Updated 2 years ago
• robsimmons / abbot
  Generation of abstract binding trees
  ☆28Updated 8 months ago
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 8 years ago
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆20Updated 3 years ago
• madgen / temporalog
  A Datalog extension to reason about time with CTL operators
  ☆14Updated 5 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• wilbowma / dissertation
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30Updated 3 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆40Updated last year
• jespercockx / popl19-tutorial
  Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
  ☆26Updated 6 years ago
• jonsterling / coq-guarded-computational-type-theory
  ☆21Updated 7 years ago
• ret / specifica
  Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
  ☆27Updated 2 years ago
• julesjacobs / boa
  Partition refinement
  ☆15Updated last year
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated last month
• sweirich / graded-haskell
  Graded Dependent Type systems
  ☆24Updated 2 years ago
• csabahruska / p4f-control-flow-analysis
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Updated 3 years ago
• RedPRL / algaett
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆37Updated last year
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 3 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆36Updated 3 weeks ago