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 2 weeks ago
• manuel-serrano / hiphop
  Reactive Web Programming
  ☆29Updated last week
• mthom / scryer-shen
  ☆56Updated 5 months ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 7 months ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆79Updated last year
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆57Updated 3 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
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆128Updated last year
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆178Updated 2 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated 2 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• tizoc / shen-scheme
  Shen/Scheme implementation
  ☆123Updated 5 months ago
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆34Updated 6 years ago
• Limvot / kraken
  The Kraken Programming Language
  ☆48Updated last year
• stchang / macrotypes
  ☆137Updated 3 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆192Updated last year
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆60Updated last year
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated last week
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆146Updated 3 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆37Updated 9 months ago
• remixlabs / wasicaml
  Translate OCaml bytecode to WebAssembly
  ☆133Updated 9 months ago
• soegaard / urlang
  Urlang is JavaScript with a sane syntax
  ☆302Updated 9 months ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆44Updated 2 years ago
• cell-lang / compiler
  Cell compiler
  ☆115Updated 2 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated last week