Alternatives and similar repositories for purescript-datalog-parsers

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

• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 5 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆24Updated 10 months ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆18Updated 8 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆36Updated 3 years ago
• mgree / trampoline
  Safely running potentially non-terminating functions in Elm.
  ☆10Updated 4 years ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆29Updated 2 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆15Updated 10 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆16Updated 6 years ago
• haskell-lisp / blaise
  Slava Akhmechet's Lisp from 2006
  ☆14Updated 11 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• QuentinDuval / IdrisPipes
  A library for composable and effectful production, transformation and consumption of streams of data in Idris
  ☆37Updated 7 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• purescript-node / purescript-node-child-process
  Spawn child processes in PureScript via the Node.js child_process API.
  ☆13Updated 3 months ago
• serokell / foundry
  Morte IDE
  ☆29Updated 3 months ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 10 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• tmountain / purescript-reproducible
  A short guide detailing how to bootstrap PureScript.
  ☆26Updated 6 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 11 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago