epost / purescript-datalog-parsers
Parsers for Prolog, Datomic, and various other Datalog varieties.
☆11Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for purescript-datalog-parsers
- Datalog implemented in minikanren☆24Updated 7 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 8 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Kanren with databases☆43Updated 3 months ago
- An approach to user interfaces based in denotational design.☆26Updated last year
- Safely running potentially non-terminating functions in Elm.☆10Updated 3 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- microKanren sagittarius/larceny☆11Updated 9 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 9 years ago
- μKanren in Elm☆42Updated 7 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆24Updated 10 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- A Pythonic implementation of *microkanren* logic language☆9Updated 3 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago
- ☆71Updated 4 years ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 3 years ago
- ☆43Updated 2 weeks ago
- Shen KLambda to KLVM translator.☆29Updated 8 years ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Updated 9 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 6 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 8 years ago
- Normalization-by-evaluation in miniKanren☆23Updated last year
- ☆13Updated 8 years ago
- purple: compiling a reflective language☆29Updated last month