jart / blcLinks
Binary Lambda Calculus Virtual Machine
☆55Updated last year
Alternatives and similar repositories for blc
Users that are interested in blc are comparing it to the libraries listed below
Sorting:
- A programmable virtual CPU written in untyped lambda calculus☆55Updated 2 years ago
- Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU☆94Updated 3 years ago
- An implementation of interaction nets as a forth-like language.☆37Updated last month
- ☆57Updated last year
- A minimal stack based programming language☆33Updated last year
- A portable self-bootstrapping C compiler☆156Updated this week
- a readable language that grows from the silicon☆60Updated 2 years ago
- A 16-bit Lisp based operating system.☆76Updated 4 years ago
- Hindley–Milner Type inferencing in C☆48Updated 3 years ago
- High-level interface for low-level programming☆119Updated last month
- A simple incomplete Scheme-to-C compiler☆72Updated last month
- The Callisto compiler of the 13th month, and other language extras☆65Updated this week
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆91Updated 4 years ago
- bcc is a b compiler☆33Updated 3 years ago
- arthur whitney's b interpreter translated into a more traditional flavor of C☆99Updated 7 years ago
- A bootsector FORTH☆147Updated 5 months ago
- k for BareMetal☆10Updated 9 months ago
- SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme☆71Updated 3 years ago
- A fast, minimal Forth-like interpreter core in C++ with no assembly☆97Updated 7 months ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆75Updated 7 months ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆32Updated last week
- an optimizing compiler for a lisp dialect targetting uxn☆29Updated this week
- 16-bit SUBLEQ CPU running eForth - just for fun☆74Updated 3 weeks ago
- Compact garbage-collected heap and JSON-like object model☆81Updated 2 years ago
- Programming with pure lambda calculus☆120Updated last week
- Whitesmiths C compiler. One of the earliest commercial C compilers available.☆157Updated 2 years ago
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆56Updated 3 years ago
- NASM port of JONESFORTH!☆58Updated last year
- C Intermediate Language☆152Updated last week
- A work-in-progress garbage collector for Guile☆191Updated last week