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 7 months ago
• manuel-serrano / bigloo
  a practical Scheme compiler
  ☆161Updated last month
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆60Updated last year
• mthom / scryer-shen
  ☆56Updated 5 months ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆34Updated 6 years ago
• Limvot / kraken
  The Kraken Programming Language
  ☆49Updated last year
• manuel-serrano / hiphop
  Reactive Web Programming
  ☆29Updated this week
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆178Updated 2 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 8 months ago
• rossberg / hamlet
  SML reference interpreter
  ☆119Updated 3 weeks ago
• zachgk / catln
  A high-level programming language
  ☆40Updated 9 months ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆106Updated 2 years ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆79Updated last year
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆219Updated 2 years ago
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆57Updated 3 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
• PollRobots / scheme
  An R7RS Scheme implemented in WebAssembly
  ☆179Updated 2 years ago
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆145Updated 3 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆193Updated last year
• liphe / delisp
  A statically typed Lisp dialect with algebraic effect system compiling to Javascript
  ☆42Updated 2 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆163Updated 3 years ago
• tizoc / shen-scheme
  Shen/Scheme implementation
  ☆124Updated 6 months ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 3 months ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• cdiggins / cat-language
  Cat - a statically typed functional stack-based programming language
  ☆275Updated 7 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• newspeaklanguage / newspeak
  Newspeak is a live object-capability language in the Smalltalk tradition
  ☆154Updated last month