Alternatives and similar repositories for atum

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

• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆82Updated 9 years ago
• bodil / graham
  Parser combinators for JS
  ☆13Updated 9 years ago
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆16Updated 9 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 10 years ago
• puffnfresh / brushtail
  JS AST rewriter for tail call elimination
  ☆134Updated 12 years ago
• mostjs / hold
  Deliver the most recently seen event to new observers
  ☆30Updated 2 years ago
• jordwalke / CommonML
  Simple OCaml Development Workflow on CommonJS
  ☆97Updated 6 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated last week
• yell0wd0g / face-detection
  ☆12Updated 8 years ago
• rescript-lang / bucklescript-addons
  Addons modules for the BuckleScript OCaml->Javascript translator
  ☆38Updated 7 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 10 years ago
• sanctuary-js / sanctuary-identity
  Fantasy Land -compliant Identity type
  ☆27Updated 9 months ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• mudge / pacta
  An algebraic implementation of ECMAScript 2015 and Promises/A+ Promises in JavaScript for as many browsers and Node.js versions as possib…
  ☆71Updated 9 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆177Updated last year
• mgechev / typed-calc
  Interpreter for simply typed lambda calculus implemented in JavaScript λ
  ☆34Updated 7 years ago
• google / clang-lens
  ☆20Updated 9 years ago
• passy / attic-schedule
  A Turtle script I use to kick off attic
  ☆11Updated 8 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 12 years ago
• fantasyland / sweet-fantasies
  sweet.js macros for Fantasy Land compatible structures.
  ☆35Updated 11 years ago
• disnet / sweet-interfaces
  An implementation of emcascript interfaces in Sweet.js.
  ☆33Updated 7 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• shapesecurity / shift-ast-js
  constructors for Shift format AST nodes
  ☆27Updated 3 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 8 years ago
• arianvp / Hom
  Hom - React.JS for Haskell!
  ☆38Updated 10 years ago
• koalaman / pack
  Haskell implementation of gzip-compatible `pack` compression from the early 1980s
  ☆39Updated 7 years ago