concise functionless functional esolang
☆14Jan 18, 2026Updated last month
Alternatives and similar repositories for atlas
Users that are interested in atlas are comparing it to the libraries listed below
Sorting:
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- A codegolf language for mortals☆34Dec 15, 2025Updated 2 months ago
- Stack language compiled to lua☆23Feb 3, 2025Updated last year
- golf server☆49Feb 24, 2026Updated last week
- Collection of interpreters for esoteric programming languages☆14Jul 10, 2021Updated 4 years ago
- Stackless Joy☆23Apr 15, 2025Updated 10 months ago
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 4 years ago
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 10 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- Original Joy☆11Dec 17, 2024Updated last year
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Nov 11, 2022Updated 3 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 11 years ago
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆13Feb 26, 2023Updated 3 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- purple garden is a lean scripting language designed for performance, with aggressive optimisations, JIT compilation, fine-grained memory …☆35Mar 1, 2026Updated last week
- new generation language☆20Aug 2, 2013Updated 12 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆14Updated this week
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- A Small Combinator-Reduction System☆18Jul 14, 2020Updated 5 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Feb 3, 2023Updated 3 years ago
- Ultra-tiny forth implementation in GNU C99. A microscopic simplified forth, designed to be as simple, extensible, and readable as possibl…☆36Nov 13, 2024Updated last year
- 🤠 Just a programming language with a silly name☆15Oct 30, 2022Updated 3 years ago
- A two-dimensional programming language from 1994.☆12Oct 2, 2016Updated 9 years ago
- 🌑 Forth Programming Language on Lua☆23Jun 19, 2025Updated 8 months ago
- A toy array language inspired by J, K, and APL.☆12Dec 28, 2025Updated 2 months ago
- Sin, cos, tan, asin... polyfills for when cross browser consistency is desired.☆16Aug 6, 2021Updated 4 years ago
- A stack-based esolang with condensability as well as simplicity and readability in mind.☆26Dec 17, 2021Updated 4 years ago
- The official interpreter for the Jeopardy language☆16Dec 6, 2022Updated 3 years ago
- Actively maintained fork of Peter Miller's UCSD P-System tools - Cross-compiler☆18Nov 2, 2025Updated 4 months ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago