koka-lang / nodec
NodeC -- A lean NodeJS in C using algebraic effect handlers.
☆34Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for nodec
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Simple C Haskell Compiler☆22Updated last year
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 4 years ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆56Updated 5 years ago
- Proof of concept to generate safe and fast JavaScript☆25Updated 2 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆27Updated last year
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆72Updated 4 years ago
- For hosting certain parts of http://www.ats-lang.org☆26Updated last year
- Charity Programming Language☆38Updated 9 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- A minimal language inspired by Lisp and Haskell☆21Updated 4 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- SPSC: A Small Positive Supercompiler☆32Updated 5 months ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated last year
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Interpreter of the ITGL with dynamic type inference☆21Updated last month
- type-system, revised unification algorithm and runtime time representations☆14Updated 4 years ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆25Updated 6 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 5 years ago
- an encoding of affine effect handlers using pthreads☆12Updated last year
- Coq plugin for monomorphization and C code generation☆33Updated last week
- Simple C-like language for clear and concise programs, also has a pretty quick compiler!☆19Updated last year
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆55Updated 2 years ago
- A formally verified compiler for a simple language with numbers and sums☆26Updated 3 years ago
- Modernized Sisal Interpreter☆27Updated 6 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 10 years ago