Alternatives and similar repositories for LambdaJS:

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

• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆81Updated 7 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 7 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 7 years ago
• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 11 years ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆148Updated 9 years ago
• OCamlPro / tryocaml
  An interactive tutorial to begin learning with OCaml
  ☆92Updated 3 years ago
• mitranim / jisp
  Lisp-style language that compiles to JavaScript
  ☆128Updated 8 months ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 6 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆90Updated 2 years ago
• jscert / jsexplain
  ☆26Updated 2 years ago
• AyaMorisawa / lint-ls
  Linter for LiveScript
  ☆11Updated 9 years ago
• be5invis / PatEL
  The Patrisika Example Language
  ☆44Updated 2 months ago
• keil / TreatJS
  Higher-Order Contracts for JavaScript
  ☆14Updated 7 years ago
• fxfactorial / ocaml-electron
  Write OCaml, run on Electron.
  ☆77Updated last year
• brownplt / LambdaS5
  Semantics for ES5
  ☆81Updated 9 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆61Updated 4 years ago
• jaked / ocamljs
  Javascript back-end for OCamlc
  ☆133Updated 14 years ago
• fxfactorial / ocaml-nodejs
  Write OCaml, run on node.
  ☆81Updated last year
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆32Updated 13 years ago
• whitequark / ocaml-m17n
  Multilingualization for the OCaml source code
  ☆50Updated 5 years ago
• squiggle-lang / squiggle-lang
  NO LONGER IN DEVELOPMENT
  ☆27Updated 8 years ago
• berke / aurochs
  Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…
  ☆45Updated last year
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• yallop / fomega
  System Fω interpreter for use in Advanced Functional Programming course
  ☆65Updated last year
• rescript-lang / bucklescript-addons
  Addons modules for the BuckleScript OCaml->Javascript translator
  ☆38Updated 7 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆66Updated 6 years ago