kspalaiologos / blc-mbLinks
Binary Lambda Calculus evaluation engine written in Malbolge.
☆17Updated 3 years ago
Alternatives and similar repositories for blc-mb
Users that are interested in blc-mb are comparing it to the libraries listed below
Sorting:
- A programmable virtual CPU written in untyped lambda calculus☆55Updated 2 years ago
- a reasonably fast syntax highlighter☆13Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Updated last year
- The most minimal C you can do real work in☆16Updated 3 years ago
- A minimal Z80 implementation.☆22Updated 3 years ago
- lang Thue + Regex☆15Updated 3 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- x86 assembler in 512 bytes of x86 machine code☆35Updated 5 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- An experimental language with compile time bounds checking☆15Updated 5 years ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Updated 3 years ago
- bcc is a b compiler☆34Updated 3 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆91Updated 4 years ago
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.☆18Updated 3 years ago
- a small (~140 line) and portable 6502 emulator demo.☆17Updated 3 years ago
- A superset of brainfuck with dynamic memory management.☆29Updated 4 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆11Updated 4 years ago
- Collection of interpreters for esoteric programming languages☆14Updated 4 years ago
- Peephole optimizer for cproc and QBE☆27Updated last week
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- Manfred von Thun's Programming Language Joy☆16Updated 6 months ago
- a readable language that grows from the silicon☆60Updated 2 years ago
- Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.☆58Updated last year
- A collection of lambda calculus interpreters and development tools☆15Updated 2 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆15Updated last year
- An Impractical Stack Language☆14Updated 5 years ago
- The single instruction language - Flip a bit, then Jump☆122Updated 6 months ago
- b4 : a tiny forth-like virtual machine☆40Updated last week