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
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated this week
- A toy programming language.☆40Updated last year
- Charity Programming Language☆39Updated 10 years ago
- Proof of concept to generate safe and fast JavaScript☆24Updated 2 years ago
- Compiler for a simplified version of Rust developed in OCaml under Jean Christophe Filliatre Supervision (https://www.lri.fr/~filliatr/in…☆13Updated 4 years ago
- Bachelor's thesis 2019☆12Updated last year
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Self-hosting compiler for the Grace programming language☆40Updated 11 months ago
- A minimal language inspired by Lisp and Haskell☆20Updated 4 years ago
- Zeolite is a statically-typed, general-purpose programming language.☆19Updated 6 months ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- A polymorphism object-oriented programming language☆24Updated 5 years ago
- language verification, construction, and analysis☆20Updated 3 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 3 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Updated last year
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- Experiment on how to bootstrap the OCaml compiler☆105Updated 3 years ago
- Preprocessor / Pretty Printer for OCaml☆76Updated 3 weeks ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- Compiler for the Vale programming language - http://vale.dev/☆32Updated 10 months ago
- LablGL: an openGL interface for OCaml☆23Updated last year
- Binding to Cairo, a 2D Vector Graphics Library.☆55Updated 5 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- A meta-circular interpreter of a subset of Scheme☆15Updated 5 years ago
- ONE-SHOT Algebraic Effects for Lua!☆49Updated last month
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 2 years ago