koka-lang / nodec
NodeC -- A lean NodeJS in C using algebraic effect handlers.
☆34Updated 6 years ago
Alternatives and similar repositories for nodec:
Users that are interested in nodec are comparing it to the libraries listed below
- A small example of a source->source pattern matching to decision tree compiler☆14Updated 4 years ago
- A meta-circular interpreter of a subset of Scheme☆15Updated 4 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 5 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- Compiler for the Vale programming language - http://vale.dev/☆31Updated 9 months ago
- ReactiveML: a programming language for implementing interactive systems.☆20Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 2 months ago
- Self-hosting compiler for the Grace programming language☆39Updated 9 months ago
- An implementation of Scheme R7RS-small in 48 working hours.☆19Updated 5 years ago
- Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.☆57Updated 11 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆60Updated 3 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆91Updated 6 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Updated last year
- language verification, construction, and analysis☆20Updated 2 years ago
- ONE-SHOT Algebraic Effects for Lua!☆49Updated 2 weeks ago
- Bachelor's thesis 2019☆12Updated last year
- Code style checker for Jane Street Packages☆19Updated 4 months ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆41Updated 4 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 4 years ago
- A minimal language inspired by Lisp and Haskell☆20Updated 4 years ago
- Standard library for the Formality language☆18Updated 5 years ago
- Proof of concept to generate safe and fast JavaScript☆24Updated 2 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago