manuel-serrano / hop
Multitier JavaScript
☆148Updated last week
Alternatives and similar repositories for hop:
Users that are interested in hop are comparing it to the libraries listed below
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- An ultrasmall (~70 loc) React wrapper written in RacketScript☆59Updated last year
- Reactive Web Programming☆28Updated this week
- Proposal to add tail calls to WebAssembly☆113Updated 3 weeks ago
- Type Inference Library written in TypeScript☆93Updated last year
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆75Updated 7 months ago
- Delimited Continuations for JavaScript☆31Updated last year
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- JavaScript implementation of modified version of miniKanren☆33Updated 5 years ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆135Updated this week
- A work-in-progress garbage collector for Guile☆168Updated 2 weeks ago
- Build UI declaratively with Datalog.☆133Updated 2 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆156Updated 2 years ago
- ☆46Updated 4 months ago
- ☆36Updated 3 years ago
- Shen for JavaScript☆59Updated 7 months ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- a practical Scheme compiler☆148Updated this week
- Robust multi-prompt delimited control and effect handlers in C/C++☆115Updated last year
- A toy programming language.☆39Updated last year
- An APL interpreter written in JavaScript. Runs in a browser or NodeJS.☆58Updated 9 months ago
- Translate OCaml bytecode to WebAssembly☆130Updated 2 months ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆196Updated 4 years ago
- An R7RS Scheme implemented in WebAssembly☆177Updated last year
- A statically typed Lisp dialect with algebraic effect system compiling to Javascript☆41Updated 2 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated this week
- The Kraken Programming Language☆47Updated last year
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆51Updated 2 months ago
- The Caml Light implementation of the Caml language☆66Updated 2 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆289Updated this week