Alternatives and similar repositories for Stopify:

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

• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated 9 months ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆67Updated 6 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆134Updated 7 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆148Updated 10 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 9 years ago
• roman01la / js-memory-usage
  Data Structures Memory Usage in JavaScript
  ☆57Updated 2 years ago
• nikswamy / SafeTypeScript
  A type-safe dialect of TypeScript
  ☆25Updated 10 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• bramstein / junify
  JUnify ― JavaScript Unification Library
  ☆50Updated 12 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆198Updated last year
• mgechev / typed-calc
  Interpreter for simply typed lambda calculus implemented in JavaScript λ
  ☆34Updated 7 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆113Updated 3 weeks ago
• cell-lang / compiler
  Cell compiler
  ☆113Updated last year
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆209Updated 6 years ago
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆66Updated 4 years ago
• functional-data-structure / finger-tree
  Finger tree data structure for JavaScript
  ☆26Updated 2 weeks ago
• robotlolita / siren
  [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…
  ☆129Updated 8 years ago
• namin / io.livecode.ch
  interactive programming tutorials, powered by Github and Docker
  ☆140Updated 7 months ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated last year
• jordwalke / CommonML
  Simple OCaml Development Workflow on CommonJS
  ☆96Updated 6 years ago
• sebmarkbage / ocamlrun-wasm
  OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
  ☆255Updated 8 years ago
• yelouafi / algebraic-effects.js
  Implementation of Algebraic effects (https://bit.ly/2Mo7w3Q) based on Generators
  ☆56Updated 6 years ago
• pschanely / wildflower
  Minimalistic, functional, JSON-formatted programming language
  ☆20Updated 8 years ago
• Gregoor / tofu
  Experiment in structural code editing
  ☆101Updated last year
• Drup / tyre
  Typed Regular Expressions
  ☆171Updated 5 years ago
• jaredly / jerd
  ☆36Updated 3 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• paf31 / purescript-purview
  A UI library based on the incremental lambda calculus
  ☆113Updated 6 years ago
• Glench / REPLugger
  Research prototype of a REPL/debugger
  ☆30Updated 6 years ago