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
• manuel / wat-js
  Concurrency and Metaprogramming for JS
  ☆261Updated 7 years ago
• doppioslash / CastleOfElm
  Roguelike for 7DRL make in Elm
  ☆30Updated 9 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆63Updated 8 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• cruxlang / crux
  Crux Programming Language
  ☆52Updated 2 years ago
• mattgreen / learning-language-design
  A series of progressively more complex programming languages
  ☆36Updated 10 years ago
• wayfarerdb / tree-talk
  exploratory programming for an object system in common lisp
  ☆14Updated 9 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆110Updated 6 years ago
• AlexNisnevich / kalevala
  Multiplayer tile-laying board game in Elm
  ☆19Updated last year
• nasser / rejoyce
  A concatenative programming language inspired by Manfred von Thun's Joy
  ☆24Updated 10 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 9 years ago
• vilterp / lemur
  Lemur: visual functional programming language that compiles to Python
  ☆70Updated 7 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆69Updated 6 years ago
• michaelbjames / elm-examples
  Some pleasant examples that show off the reactor and get you started
  ☆17Updated 10 years ago
• bodil / graham
  Parser combinators for JS
  ☆13Updated 9 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆103Updated 9 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• goudreinette / forth
  Forth clone in Haskell
  ☆33Updated 7 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 8 years ago
• lachenmayer / arrowsmith
  Augmented editor for Elm.
  ☆46Updated 8 years ago
• orchid-hybrid / scm--js
  scm->js
  ☆22Updated 9 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 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…
  ☆30Updated 4 years ago
• built / wheeler
  Wheeler is a programming language
  ☆43Updated 11 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