Alternatives and similar repositories for hop

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

• rackt-org / rackt
  An ultrasmall (~70 loc) React wrapper written in RacketScript
  ☆62Updated 6 months ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• manuel-serrano / bigloo
  a practical Scheme compiler
  ☆160Updated this week
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 7 months ago
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆60Updated last year
• manuel-serrano / hiphop
  Reactive Web Programming
  ☆29Updated last month
• PollRobots / scheme
  An R7RS Scheme implemented in WebAssembly
  ☆179Updated 2 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• mthom / scryer-shen
  ☆56Updated 4 months ago
• Limvot / kraken
  The Kraken Programming Language
  ☆48Updated last year
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆34Updated 6 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆190Updated last year
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• tizoc / shen-scheme
  Shen/Scheme implementation
  ☆122Updated 4 months ago
• liphe / delisp
  A statically typed Lisp dialect with algebraic effect system compiling to Javascript
  ☆42Updated 2 years ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆137Updated 2 years ago
• Zag-Research / Zag-Smalltalk
  Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
  ☆141Updated this week
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆177Updated last year
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 2 months ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆219Updated 2 years ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆79Updated last year
• nikodemus / foolang
  A toy programming language.
  ☆41Updated last year
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• rossberg / hamlet
  SML reference interpreter
  ☆116Updated 2 months ago
• Small-JS / SmallJS
  Smalltalk development in your browser and Node.js
  ☆168Updated this week
• zachgk / catln
  A high-level programming language
  ☆40Updated 8 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated last week
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆37Updated 8 months ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated last week
• soegaard / urlang
  Urlang is JavaScript with a sane syntax
  ☆302Updated 8 months ago