jart / blc
Binary Lambda Calculus Virtual Machine
☆53Updated last year
Alternatives and similar repositories for blc:
Users that are interested in blc are comparing it to the libraries listed below
- An implementation of interaction nets as a forth-like language.☆29Updated this week
- A minimal stack based programming language☆32Updated 11 months ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 3 months ago
- A bignum library for C.☆33Updated 9 months ago
- a readable language that grows from the silicon☆61Updated last year
- A lisp dialect based on pattern matching and term rewriting☆84Updated 6 months ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆88Updated 4 years ago
- Compiling C to FlipJump☆87Updated 2 months ago
- A programmable virtual CPU written in untyped lambda calculus☆52Updated 2 years ago
- The Callisto compiler of the 13th month, and other language extras☆59Updated 2 weeks ago
- 16-bit SUBLEQ CPU running eForth - just for fun☆63Updated last month
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 2 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- A portable self-bootstrapping C compiler☆135Updated this week
- A simple incomplete Scheme-to-C compiler☆67Updated last month
- ☆48Updated 2 years ago
- nightly synced mirror☆65Updated this week
- Compile-time const Forth evaluation with macros☆35Updated 2 years ago
- Autoregressive transformers in APL☆100Updated 2 months ago
- Compact garbage-collected heap and JSON-like object model☆80Updated last year
- C programming language extension: Cedro pre-processor☆49Updated 2 years ago
- Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU☆92Updated 2 years ago
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 2 years ago
- A collection of small games made using SDL and C/++.☆25Updated last year
- cparse is an LR(1) and LALR(1) parser generator☆51Updated 3 months ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆14Updated 4 years ago
- Can I make an *optimizing* compiler under 1k lines of code?☆55Updated last month
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆50Updated 2 years ago