manuel-serrano / hop
Multitier JavaScript
☆143Updated this week
Related projects ⓘ
Alternatives and complementary repositories for hop
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆76Updated 3 months ago
- An ultrasmall (~70 loc) React wrapper written in RacketScript☆58Updated last year
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆103Updated last year
- Type Inference Library written in TypeScript☆92Updated last year
- Shen for JavaScript☆58Updated 2 months ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- a practical Scheme compiler☆140Updated this week
- ☆135Updated 2 years ago
- Build UI declaratively with Datalog.☆125Updated last year
- Proposal to add tail calls to WebAssembly☆111Updated 2 months ago
- Dak is a Lisp like language that transpiles to JavaScript.☆94Updated 4 months ago
- nanopass compiler framework for Racket☆180Updated 9 months ago
- ☆42Updated this week
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆156Updated 2 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆187Updated 4 years ago
- JavaScript implementation of modified version of miniKanren☆31Updated 5 years ago
- A work-in-progress garbage collector for Guile☆145Updated last month
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 2 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆111Updated 11 months ago
- A DSL for runtime code generation in racket☆66Updated 2 years ago
- An R7RS Scheme implemented in WebAssembly☆171Updated last year
- staged relational interpreters: running with holes, faster☆125Updated this week
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆212Updated last year
- A pure-actor virtual machine with object-capabilities and memory-safety.☆74Updated this week
- A compiler to compile a simple subset of scheme to LLVM 10☆108Updated 3 years ago
- A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…☆86Updated 2 years ago
- Racket to WebAssembly Compiler☆27Updated 2 years ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆133Updated this week
- Code and demos for Reconstructing TypeScript blog posts.☆34Updated last year
- ☆36Updated 3 years ago