Alternatives and similar repositories for Stopify:

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

• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated last year
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated last year
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated 10 months ago
• sebmarkbage / ocamlrun-wasm
  OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
  ☆256Updated 8 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆67Updated 6 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• mgechev / typed-calc
  Interpreter for simply typed lambda calculus implemented in JavaScript λ
  ☆34Updated 7 years ago
• paf31 / purescript-purview
  A UI library based on the incremental lambda calculus
  ☆112Updated 6 years ago
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆209Updated 6 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆148Updated 10 years ago
• functional-data-structure / finger-tree
  Finger tree data structure for JavaScript
  ☆26Updated last week
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆75Updated 8 months ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 9 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆135Updated 7 years ago
• witheve / eve-native
  ☆188Updated 5 years ago
• jtolio / sheepda
  A lambda calculus interpreter. GET IT?
  ☆81Updated 3 years ago
• Gregoor / tofu
  Experiment in structural code editing
  ☆102Updated last year
• maierfelix / mini-js
  Minimal self-hosted JavaScript compiler in 1k lines of code
  ☆163Updated 7 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆128Updated 5 years ago
• jordwalke / CommonML
  Simple OCaml Development Workflow on CommonJS
  ☆96Updated 6 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆200Updated last year
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• stedolan / mlsub
  Prototype type inference engine
  ☆201Updated 2 months ago
• ocaml-multicore / effects-examples
  Examples to illustrate the use of algebraic effects in Multicore OCaml
  ☆437Updated 11 months ago
• pelotom / burrido
  Do-notation for JavaScript
  ☆178Updated 8 years ago
• fxfactorial / ocaml-nodejs
  Write OCaml, run on node.
  ☆82Updated last year