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
• manuel / wat-js
  Concurrency and Metaprogramming for JS
  ☆261Updated 7 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
• gigasquid / babar
  A little language for machines with speech acts
  ☆110Updated 6 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• cruxlang / crux
  Crux Programming Language
  ☆52Updated 2 years ago
• AlexNisnevich / kalevala
  Multiplayer tile-laying board game in Elm
  ☆19Updated last year
• jhickner / hobbes
  A cross-platform file activity monitor
  ☆72Updated 8 years ago
• moroshko / sliding-puzzle
  Sliding puzzle built in Elm
  ☆52Updated 9 years ago
• puffnfresh / brushtail
  JS AST rewriter for tail call elimination
  ☆134Updated 11 years ago
• srid / chronicle
  Forming reliable memories.
  ☆94Updated 5 years ago
• mattgreen / learning-language-design
  A series of progressively more complex programming languages
  ☆36Updated 10 years ago
• maxsnew / IO
  IO for Elm
  ☆29Updated 9 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆63Updated 8 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
• takeoutweight / shade
  Interactive, client-side web apps in Haskell
  ☆147Updated 10 years ago
• Pauan / Immutable
  Fast immutable data structures
  ☆32Updated 10 years ago
• witheve / rfcs
  Request for Comments on changes to Eve
  ☆27Updated 8 years ago
• bodil / graham
  Parser combinators for JS
  ☆13Updated 9 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• alilleybrinker / stress-free-manifesto
  Proclaim and encourage a stress-free environment in your open source project.
  ☆12Updated 8 years ago
• statement-on-lambdaconf / statement-on-lambdaconf.github.io
  ☆22Updated 8 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 3 years ago
• mostjs-community / most-static-land
  Static Land Stream type for Most
  ☆14Updated 8 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 7 years ago
• evancz / first-person-elm
  First-person navigation in a simple 3D world, written in Elm
  ☆85Updated 8 years ago
• joelburget / pigment
  Programming Language meets UI
  ☆51Updated 7 years ago