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
  ☆43Updated last year
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 8 months ago
• madgen / temporalog
  A Datalog extension to reason about time with CTL operators
  ☆14Updated 5 years ago
• jkoppel / ecta
  ☆36Updated last year
• taktoa / eqsat
  A language-generic implementation of equality saturation in Haskell
  ☆21Updated 6 years ago
• robsimmons / abbot
  Generation of abstract binding trees
  ☆27Updated 11 months 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
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated last year
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated 5 months ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 5 months ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆32Updated 4 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated last year
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆37Updated 5 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆41Updated 2 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆12Updated 4 years ago
• plum-umd / cgc
  Constructive Galois connections
  ☆35Updated 7 years ago
• ISANobody / sill
  ☆29Updated 10 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆43Updated 8 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆29Updated 9 months ago
• clayrat / idris-linear
  Experiments with linear types
  ☆14Updated 7 years ago
• sweirich / graded-haskell
  Graded Dependent Type systems
  ☆25Updated 2 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆32Updated 6 years ago
• rzrn / anders
  Anders: Cubical Type Checker
  ☆23Updated last year
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆39Updated last year
• RedPRL / algaett
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆37Updated last month