Alternatives and similar repositories for purescript-datalog-parsers:

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

• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 5 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 9 months ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• sto0pkid / CategoryTheory
  Category Theory in Agda
  ☆13Updated 7 years ago
• webyrd / relational-interpreter-with-match
  Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher
  ☆11Updated 10 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated last month
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 9 months ago
• idream-build / idream
  A simple build system for Idris
  ☆22Updated 4 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆29Updated last year
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• andreypopp / purescript-node-thunk
  Node callbacks as thunks
  ☆20Updated 10 years ago
• tmountain / purescript-reproducible
  A short guide detailing how to bootstrap PureScript.
  ☆26Updated 5 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• racket / parser-tools
  ☆14Updated 2 months ago
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 7 years ago