manuel-serrano / hopLinks
Multitier JavaScript
☆157Updated last month
Alternatives and similar repositories for hop
Users that are interested in hop are comparing it to the libraries listed below
Sorting:
- An ultrasmall (~70 loc) React wrapper written in RacketScript☆62Updated 6 months ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- a practical Scheme compiler☆160Updated 2 weeks ago
- Reactive Web Programming☆29Updated last week
- ☆56Updated 5 months ago
- Proposal to add tail calls to WebAssembly☆114Updated 7 months ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆79Updated last year
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆57Updated 3 months ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆128Updated last year
- The Online Interpreter for Standard ML, written in TypeScript.☆178Updated 2 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated 2 years ago
- A DSL for runtime code generation in racket☆67Updated 3 years ago
- Shen/Scheme implementation☆123Updated 5 months ago
- JavaScript implementation of modified version of miniKanren☆34Updated 6 years ago
- The Kraken Programming Language☆48Updated last year
- ☆137Updated 3 years ago
- nanopass compiler framework for Racket☆192Updated last year
- Shen for JavaScript☆60Updated last year
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated last week
- Hotcaml: an interpreter with watching and reloading☆146Updated 3 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- Racket to WebAssembly Compiler☆37Updated 9 months ago
- Translate OCaml bytecode to WebAssembly☆133Updated 9 months ago
- Urlang is JavaScript with a sane syntax☆302Updated 9 months ago
- Wasm tooling in Racket.☆44Updated 2 years ago
- Cell compiler☆115Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated last week