Alternatives and similar repositories for kanrens:

Users that are interested in kanrens are comparing it to the libraries listed below

• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆110Updated 5 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆101Updated 9 years ago
• manuel / wat-js
  Concurrency and Metaprogramming for JS
  ☆259Updated 6 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆69Updated 6 years ago
• doppioslash / CastleOfElm
  Roguelike for 7DRL make in Elm
  ☆30Updated 8 years ago
• cruxlang / crux
  Crux Programming Language
  ☆51Updated 2 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆61Updated 8 years ago
• goudreinette / forth
  Forth clone in Haskell
  ☆32Updated 7 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• staltz / jace
  just another compiler experiment
  ☆14Updated 8 years ago
• statement-on-lambdaconf / statement-on-lambdaconf.github.io
  ☆22Updated 8 years ago
• readevalprintlove / readevalprintlove
  The repository for the zine
  ☆30Updated 9 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 6 years ago
• nasser / rejoyce
  A concatenative programming language inspired by Manfred von Thun's Joy
  ☆24Updated 9 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆249Updated 8 years ago
• joelburget / pigment
  Programming Language meets UI
  ☆51Updated 7 years ago
• VerbalExpressions / HaskellVerbalExpressions
  ☆63Updated 6 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆67Updated 9 years ago
• bodil / graham
  Parser combinators for JS
  ☆13Updated 9 years ago
• jvoigtlaender / Elm-Tutorium
  Elm tutorial held at http://nfa.imn.htwk-leipzig.de/HAL2015/ and in university course http://www.janis-voigtlaender.eu/teaching/ffp15/
  ☆11Updated 8 years ago
• mattgreen / learning-language-design
  A series of progressively more complex programming languages
  ☆36Updated 10 years ago
• takeoutweight / shade
  Interactive, client-side web apps in Haskell
  ☆148Updated 10 years ago