Alternatives and similar repositories for Stopify:

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

• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆67Updated 6 years ago
• paf31 / purescript-purview
  A UI library based on the incremental lambda calculus
  ☆113Updated 6 years ago
• sebmarkbage / ocamlrun-wasm
  OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
  ☆255Updated 7 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated last year
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆75Updated 6 months ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated 8 months ago
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆208Updated 6 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆113Updated 5 months ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated last year
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 9 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆132Updated 7 years ago
• Gregoor / tofu
  Experiment in structural code editing
  ☆101Updated 11 months ago
• mgechev / typed-calc
  Interpreter for simply typed lambda calculus implemented in JavaScript λ
  ☆34Updated 7 years ago
• paf31 / purescript-sdom
  An experiment in replacing the virtual DOM and avoiding diffing
  ☆162Updated 6 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆76Updated 7 years ago
• VictorTaelin / lambda-calculus
  A simple, clean and fast implementation of the λ-calculus on JavaScript.
  ☆44Updated 4 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆148Updated 9 years 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
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆107Updated 7 years ago
• pelotom / burrido
  Do-notation for JavaScript
  ☆178Updated 7 years ago
• maierfelix / mini-js
  Minimal self-hosted JavaScript compiler in 1k lines of code
  ☆160Updated 7 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 8 years ago
• bodil / eulalie
  ES6 flavoured parser combinators
  ☆69Updated 7 years ago
• jaseemabid / Olifant
  A simple programming language targeting LLVM
  ☆64Updated 6 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 3 months ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆147Updated 9 years ago
• sinelaw / infernu
  Type inference and checking for a safer JavaScript.
  ☆338Updated 6 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago