Alternatives and similar repositories for research.js

Users that are interested in research.js are comparing it to the libraries listed below

• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆27Updated 8 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 9 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆56Updated 8 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆46Updated 2 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆20Updated 8 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• andreypopp / purescript-node-thunk
  Node callbacks as thunks
  ☆20Updated 11 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆106Updated 10 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 11 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 13 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated 5 months ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆139Updated 8 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• arianvp / Hom
  Hom - React.JS for Haskell!
  ☆38Updated 11 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆28Updated 5 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 9 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 9 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 7 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 7 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆82Updated 10 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• codedot / lambda
  Macro Lambda Calculus
  ☆50Updated 6 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆70Updated 5 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago