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
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 5 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- An implementation of Scheme R7RS-small in 48 working hours.☆19Updated 5 years ago
- PackCC is a packrat parser generator for C.☆26Updated 5 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated 3 years ago
- Bachelor's thesis 2019☆12Updated last year
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 4 years ago
- A programming language with first-class modules and algebraic effects.☆15Updated 2 years ago
- A toy programming language.☆39Updated last year
- programming with second class references☆24Updated last week
- language verification, construction, and analysis☆20Updated 3 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 2 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 3 years ago
- Preview Zig's incremental linker state in interactive HTML☆44Updated 3 years ago
- A minimal language inspired by Lisp and Haskell☆20Updated 4 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 3 months ago
- quick c☆35Updated 3 years ago
- A meta-circular interpreter of a subset of Scheme☆15Updated 5 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Simple C Haskell Compiler☆22Updated last year
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 11 years ago
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- My branch of the Cyclone programming language☆19Updated 13 years ago
- OCaml to Golang compiler☆38Updated 4 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- Compiler for the Vale programming language - http://vale.dev/☆31Updated 9 months ago
- LablGL: an openGL interface for OCaml☆23Updated last year
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆117Updated last year
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago