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
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 4 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 4 years ago
- Web site for standardml.org.☆36Updated last year
- This repository is supposed to hold a released version of Xanadu☆23Updated 3 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 2 years ago
- Charity Programming Language☆38Updated 9 years ago
- An experimental language server for SomewhatML☆24Updated last year
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆55Updated 2 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆72Updated 4 years ago
- Self-hosting compiler for the Grace programming language☆39Updated 5 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆56Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- For hosting certain parts of http://www.ats-lang.org☆26Updated last year
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- Experiment on how to bootstrap the OCaml compiler☆99Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- A toy programming language.☆37Updated 10 months ago
- A minimal language inspired by Lisp and Haskell☆21Updated 4 years ago
- Bachelor's thesis 2019☆12Updated last year
- An implementation of Scheme R7RS-small in 48 working hours.☆19Updated 4 years ago
- Simple C-like language for clear and concise programs, also has a pretty quick compiler!☆18Updated last year
- SPSC: A Small Positive Supercompiler☆32Updated 6 months ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 2 years ago
- Abusing the C99 preprocessor for meta-programming☆20Updated 7 years ago