Alternatives and similar repositories for hop

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

• manuel-serrano / hiphop
  Reactive Web Programming
  ☆28Updated this week
• rackt-org / rackt
  An ultrasmall (~70 loc) React wrapper written in RacketScript
  ☆60Updated 2 months ago
• manuel-serrano / bigloo
  a practical Scheme compiler
  ☆153Updated this week
• remixlabs / wasicaml
  Translate OCaml bytecode to WebAssembly
  ☆132Updated 5 months ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 3 months ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆75Updated 10 months ago
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆143Updated 2 years ago
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆60Updated 9 months ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• jaredly / jerd
  ☆37Updated 3 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆159Updated 2 years ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• grain-lang / binaryen.ml
  OCaml bindings for Binaryen.
  ☆50Updated last month
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆177Updated last year
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆270Updated 8 months ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆218Updated 2 years ago
• smolkaj / nice-parser
  Nice parsers in OCaml without the boilerplate
  ☆125Updated last year
• rossberg / hamlet
  SML reference interpreter
  ☆116Updated 2 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆68Updated 2 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆119Updated last year
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• brundonsmith / bagel
  A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…
  ☆88Updated 2 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 4 months ago
• wingo / whippet
  A work-in-progress garbage collector for Guile
  ☆180Updated 3 weeks ago
• koka-lang / libhandler
  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
  ☆197Updated 4 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆190Updated last year
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆33Updated 6 years ago