jart / blcLinks
Binary Lambda Calculus Virtual Machine
☆54Updated last year
Alternatives and similar repositories for blc
Users that are interested in blc are comparing it to the libraries listed below
Sorting:
- An implementation of interaction nets as a forth-like language.☆33Updated 3 weeks ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 4 months ago
- A minimal stack based programming language☆32Updated last year
- Compiling C to FlipJump☆89Updated 4 months ago
- cparse is an LR(1) and LALR(1) parser generator☆51Updated 5 months ago
- Compile-time const Forth evaluation with macros☆36Updated 2 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- A bignum library for C.☆33Updated 10 months ago
- Compact garbage-collected heap and JSON-like object model☆80Updated 2 years ago
- High-level interface for low-level programming☆115Updated 2 weeks ago
- A simple incomplete Scheme-to-C compiler☆67Updated last month
- A lisp dialect based on pattern matching and term rewriting☆84Updated 7 months ago
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆50Updated 3 years ago
- Can I make an *optimizing* compiler under 1k lines of code?☆57Updated 3 months ago
- A simple implementation of the classic Asteroids game written in C☆38Updated 5 months ago
- Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU☆92Updated 2 years ago
- clex is a simple lexer generator☆95Updated 5 months ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆88Updated 4 years ago
- A programmable virtual CPU written in untyped lambda calculus☆55Updated 2 years ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- A portable self-bootstrapping C compiler☆140Updated last week
- Cheap and fast R7RS Scheme interpreter☆77Updated 3 months ago
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- Journey to the Center of the Lambda Calculus☆15Updated last year
- ☆50Updated 2 years ago
- A macos port of the hare language (https://harelang.org). See README.darwin.☆78Updated 5 months ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- tiny emacs☆26Updated 3 years ago
- An optimizing compiler for a large subset of the C programming language☆26Updated this week