tarao / LambdaJS

Related projects: ⓘ

• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆90Updated 2 years ago
• robey / packrattle
  ☆51Updated this week
• qiao / r7rs.js
  R7RS compliant Scheme implementation in JavaScript (Work in Progress)
  ☆18Updated 8 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆81Updated 8 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆61Updated 3 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 9 years ago
• ckknight / gorillascript
  GorillaScript is a compile-to-JavaScript language designed to empower the user while attempting to prevent some common errors.
  ☆300Updated 11 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆81Updated 7 years ago
• mitranim / jisp
  Lisp-style language that compiles to JavaScript
  ☆126Updated 3 months ago
• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 11 years ago
• abresas / prologjs
  Prolog interpreter for node.js
  ☆49Updated 11 years ago
• luciotato / LiteScript
  Compile-to-js and compile-to-c language, highly readable, keep it simple philosophy
  ☆146Updated 4 years ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆149Updated 9 years ago
• squiggle-lang / squiggle-lang
  NO LONGER IN DEVELOPMENT
  ☆27Updated 8 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• thetrime / proscript
  A Javascript implementation of Prolog
  ☆16Updated 8 years ago
• smihica / arc-js
  An Arc-language compiler and VM-interpreter written in JavaScript.
  ☆36Updated 5 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• orchid-hybrid / scm--js
  scm->js
  ☆22Updated 9 years ago
• AyaMorisawa / lint-ls
  Linter for LiveScript
  ☆11Updated 9 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 7 years ago
• moescript / moescript
  ☆23Updated this week
• rzimmerman / kal
  A powerful, easy-to-use, and easy-to-read programming language for the future.
  ☆394Updated 10 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆67Updated 9 years ago
• santoshrajan / monadjs
  Monad Library for JavaScript
  ☆54Updated 11 years ago
• spring-attic / monadic
  Do-notation and Monads for JavaScript
  ☆26Updated 2 years ago
• abrobston / jscc
  JS/CC LALR(1) Parser Generator: A LALR(1) Parser Generator for JavaScript written in JavaScript
  ☆46Updated 4 years ago
• keil / TreatJS
  Higher-Order Contracts for JavaScript
  ☆14Updated 7 years ago
• OCamlPro / tryocaml
  An interactive tutorial to begin learning with OCaml
  ☆90Updated 2 years ago