Alternatives and similar repositories for nodec

Users that are interested in nodec are comparing it to the libraries listed below

• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 8 months ago
• m-language / m
  A minimal language inspired by Lisp and Haskell
  ☆20Updated 5 years ago
• Verdagon / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆34Updated last year
• ushitora-anqou / aqaml
  Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.
  ☆57Updated 6 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆77Updated 3 years ago
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated 2 years ago
• elucent / clover
  Lovable memory-safe systems language with a pretty fast compiler
  ☆18Updated this week
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• tmikov / scheme2020
  An implementation of Scheme R7RS-small in 48 working hours.
  ☆19Updated 5 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆134Updated 2 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 7 years ago
• tjammer / schmu
  Mirror of https://codeberg.org/tjammer/schmu
  ☆28Updated last week
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 3 years ago
• EarlGray / language-incubator
  Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
  ☆59Updated last year
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆111Updated 3 years ago
• arichel / PicoScheme
  Tiny scheme implementation written in c++17
  ☆31Updated 7 years ago
• bvaugon / ocamlcc
  OCaml bytecode to C compiler
  ☆103Updated 5 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆41Updated 3 years ago
• alox-ai / alox-old
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆31Updated 2 years ago
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆79Updated 10 months ago
• akr / codegen
  Coq plugin for monomorphization and C code generation
  ☆37Updated last week
• hellerve-pl-experiments / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆39Updated 5 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆131Updated 2 years ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 7 months ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆33Updated 6 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆46Updated 6 years ago
• nikodemus / foolang
  A toy programming language.
  ☆41Updated 2 years ago
• imp-language / imp
  Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
  ☆12Updated 3 years ago