iczelia / blc-mbView external linksLinks
Binary Lambda Calculus evaluation engine written in Malbolge.
☆17May 29, 2022Updated 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 small (~140 line) and portable 6502 emulator demo.☆18Jan 4, 2022Updated 4 years ago
- a simple operating system☆10May 10, 2015Updated 10 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- PaloAlto BASIC (also known as Tiny BASIC) interpreter less than in 500 lines.☆15Apr 21, 2020Updated 5 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16May 4, 2018Updated 7 years ago
- Polyglot autogolfer for https://code.golf☆21Jul 6, 2024Updated last year
- Javascript emulator for intel 4004/4040☆18Dec 6, 2024Updated last year
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- Library for AMD SEV☆20Apr 1, 2022Updated 3 years ago
- Microscopic Rebol Dialect ("mooshed") for Code Golf☆30Nov 27, 2023Updated 2 years ago
- Portable Executable Zork; notes and code for interactive fiction authoring via Cosmopolitan Libc☆25Apr 27, 2025Updated 9 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Jun 13, 2022Updated 3 years ago
- Reason about Bitcoin addresses with Prolog☆23Mar 17, 2024Updated last year
- A minimal Z80 implementation.☆22Jan 29, 2022Updated 4 years ago
- ☆22Sep 18, 2022Updated 3 years ago
- BSD 2.11, as patched☆25Oct 20, 2021Updated 4 years ago
- The Esoteric File Archive☆106May 26, 2024Updated last year
- EMbedded ZModem☆36Jun 4, 2023Updated 2 years ago
- ☆10Jun 29, 2021Updated 4 years ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆31Aug 20, 2024Updated last year
- 16-bit SUBLEQ CPU running eForth - just for fun☆78Jan 26, 2026Updated 2 weeks ago
- A stack-based programming language with a lot of symmetry.☆26Nov 13, 2016Updated 9 years ago
- Brainfuck Key Derivation Function☆30Jan 15, 2015Updated 11 years ago
- My Homebrew 6502 breadboard computer with my own #FORTH implementation☆32Feb 5, 2024Updated 2 years ago
- Metamath verifier in Python☆41Jun 7, 2025Updated 8 months ago
- Andy's Workshop Sprite Engine☆46Aug 16, 2014Updated 11 years ago
- golf server☆49Apr 30, 2025Updated 9 months ago
- ☆11Jul 13, 2022Updated 3 years ago
- A 64 bit OS☆10Nov 12, 2025Updated 3 months ago
- Program the action in your Desmos graph to create animations for videos, presentations, etc.☆12Dec 16, 2021Updated 4 years ago
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- 👶🏻😿 A zero-dependency network sniffer, written from scratch, that supports emulated and native cBPF. Runs on Linux, BSD, macOS and Win…☆13Nov 8, 2025Updated 3 months ago
- A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface☆11Nov 14, 2019Updated 6 years ago
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated 3 weeks ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated 2 weeks ago
- A complete Pokemon generation 1 battle simulator including all Pokemon and moves.☆12Feb 17, 2024Updated last year
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago