Alternatives and similar repositories for kanrens

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

• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆110Updated 6 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆64Updated 9 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• doppioslash / CastleOfElm
  Roguelike for 7DRL make in Elm
  ☆30Updated 9 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• manuel / wat-js
  Concurrency and Metaprogramming for JS
  ☆261Updated 7 years ago
• moroshko / sliding-puzzle
  Sliding puzzle built in Elm
  ☆51Updated 9 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆47Updated 7 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆70Updated 6 years ago
• thomasballinger / dalsegno
  Repeat from the sign
  ☆80Updated 8 years ago
• witheve / rfcs
  Request for Comments on changes to Eve
  ☆27Updated 8 years ago
• maryrosecook / isla
  A programming language for young children
  ☆108Updated 6 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated 4 months ago
• leahsteinberg / co
  collaborative text editor, uses woot. front end in Elm, back in node.
  ☆45Updated 9 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated 3 weeks ago
• jamesbvaughan / httppl
  A simple http server written in Prolog
  ☆30Updated 8 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆103Updated 9 years ago
• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 12 years ago
• sorellabs / claire
  [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.
  ☆78Updated 11 years ago
• amarty66 / lambdaway
  The {lambda way} project is a wiki, {lambda tank}, built as a thin overlay on top of any modern web browser, and devoted to writing, comp…
  ☆29Updated 4 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• mattgreen / learning-language-design
  A series of progressively more complex programming languages
  ☆36Updated 11 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• vilterp / lemur
  Lemur: visual functional programming language that compiles to Python
  ☆70Updated 7 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• evancz / first-person-elm
  First-person navigation in a simple 3D world, written in Elm
  ☆85Updated 9 years ago
• nasser / rejoyce
  A concatenative programming language inspired by Manfred von Thun's Joy
  ☆24Updated 10 years ago
• orchid-hybrid / scm--js
  scm->js
  ☆22Updated 10 years ago
• lachenmayer / arrowsmith
  Augmented editor for Elm.
  ☆46Updated 8 years ago