hakatashi / esolang-boxView external linksLinks
Easy and standardized docker images for 200+ esoteric (and non-esoteric) languages.
☆76Apr 26, 2024Updated last year
Alternatives and similar repositories for esolang-box
Users that are interested in esolang-box are comparing it to the libraries listed below
Sorting:
- [+.<] Win the esolang master!!!☆13Apr 8, 2025Updated 10 months ago
- The Esoteric File Archive☆106May 26, 2024Updated last year
- TypeScript type-level execution tool☆11Apr 9, 2023Updated 2 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- A Minesweeper-driven esolang.☆11Jun 13, 2025Updated 8 months ago
- Training materials for Security Camp 2020 (B7), a state-sponsored security education event in Japan☆14Oct 4, 2021Updated 4 years ago
- Miscellaneous esoteric programming languages.☆39Aug 12, 2025Updated 6 months ago
- Befunge-93 interpreter written in Python with a debugger☆19Apr 9, 2017Updated 8 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46May 13, 2021Updated 4 years ago
- https://vaccines-kyoto-city.jp/#faq をHTML化したものです☆17May 31, 2021Updated 4 years ago
- My interpreter for MarioLANG in C++☆19Feb 15, 2018Updated 8 years ago
- My esoteric languages☆28Jul 31, 2022Updated 3 years ago
- Collection of interpreters for esoteric programming languages☆14Jul 10, 2021Updated 4 years ago
- Evaluation Pipeline for medical tasks.☆12Updated this week
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 2 years ago
- Haskell -> Lazy K translator.☆13Apr 5, 2014Updated 11 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆15Apr 16, 2024Updated last year
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Mar 12, 2019Updated 6 years ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Nov 11, 2022Updated 3 years ago
- A SUBLEQ macro assembler☆12Jul 5, 2020Updated 5 years ago
- ☆10Nov 23, 2021Updated 4 years ago
- Highly-customizable dotfiles manager☆14Feb 19, 2023Updated 2 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Mar 2, 2020Updated 5 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Jun 2, 2025Updated 8 months ago
- Another attempt for visualizing proofs☆12Nov 19, 2024Updated last year
- An artificial life experiment.☆12Jul 30, 2020Updated 5 years ago
- IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…☆173Jun 3, 2024Updated last year
- An esoteric programming language based on Rubik's Cubes☆28Apr 5, 2018Updated 7 years ago
- The popular Whitespace programming language with my changes.☆15Feb 3, 2021Updated 5 years ago
- LMAO is a tool that builds Malbolge programs from the low-level assembly language HeLL.☆12Apr 10, 2020Updated 5 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 8 months ago
- Dodos Only Divide Or Surrender☆14Mar 18, 2018Updated 7 years ago
- an (unoptimized) quipu knot pattern maker processing sketch. Takes an ASCII file and converts to PDF. Each line of the input file is a qu…☆13Feb 20, 2018Updated 7 years ago
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- A pyramidic language☆48Aug 13, 2020Updated 5 years ago
- Structured BVA☆42Apr 26, 2024Updated last year