massimo-nocentini / microkanrenpy

Related projects ⓘ

Alternatives and complementary repositories for microkanrenpy

• epost / purescript-datalog-parsers
  Parsers for Prolog, Datomic, and various other Datalog varieties.
  ☆11Updated 7 years ago
• webyrd / summer-scheming
  Summer Scheming!!!!!!
  ☆11Updated 4 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆81Updated 5 years ago
• nqpz / futracer
  Race through breathtaking 3-D graphics with Futhark!
  ☆14Updated 3 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆24Updated 10 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆43Updated 9 months ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 12 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆19Updated 3 weeks ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆12Updated 9 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆23Updated last year
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆13Updated 3 years ago
• robertkleffner / CaKe
  An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
  ☆19Updated 10 years ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆33Updated 8 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 6 years ago
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated 2 months ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆43Updated 2 months ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 5 months ago
• jasonhemann / microKanren-DLS-16
  microKanren implementation from DLS '16
  ☆14Updated 6 years ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆16Updated this week
• racket / datalog
  ☆43Updated 2 weeks ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆16Updated 5 months ago
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated last month
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆40Updated last year
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago