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
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆64Updated 9 years ago
• manuel / wat-js
  Concurrency and Metaprogramming for JS
  ☆261Updated 7 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆110Updated 6 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• moroshko / sliding-puzzle
  Sliding puzzle built in Elm
  ☆51Updated 9 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated last week
• thomasballinger / dalsegno
  Repeat from the sign
  ☆81Updated 8 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆70Updated 6 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
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 10 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆47Updated 7 years ago
• Pauan / Immutable
  Fast immutable data structures
  ☆32Updated 10 years ago
• maryrosecook / isla
  A programming language for young children
  ☆108Updated 7 years ago
• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 12 years ago
• sentient-lang / sentient-lang
  The Sentient Programming Language.
  ☆82Updated 5 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆137Updated 8 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated 4 months ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆107Updated 9 years ago
• dirk / hummingbird
  Experimental language
  ☆56Updated last year
• soney / interstate
  ☆53Updated 4 years ago
• srid / chronicle
  Forming reliable memories.
  ☆93Updated 5 years ago
• gregspurrier / shen-ruby
  ShenRuby is a port of the Shen programming language to Ruby
  ☆77Updated 6 years ago
• harc / moonchild
  A toolkit for experimenting with new kinds of programming interfaces.
  ☆200Updated 8 years ago
• jamesbvaughan / httppl
  A simple http server written in Prolog
  ☆30Updated 8 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆68Updated 2 years ago
• jmoy / costlyState
  Classroom demonstration of costly state verification in finance
  ☆16Updated 10 years ago