We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
User:b_jonas
Jump to navigation
Jump to search
b_jonas has created the esoteric languages Amycus, Amycus Severus, and Hyperamycus by a single mistake. He has created Olvasható and buubot's compose syntax willingly. He has also created scan and geo, but apologizes for them with the excuse that he was really young back then.
Incomplete list of some interesting or notable esolangs
A list of pages with short descriptions of why interesting can be found on my user subpage /List.
Notable creators: Donald Knuth, User:ais523, Raymond Smullyan, Fabrice Bellard, Tom Murphy VII, David Madore, Chris Pressey, David Morgan-Mar, BMOW.
Games that the esolangs community plays
- Magic: the Gathering
- Pokémon TCG
- nethack
- Shapez.io
- Euclid (Euclidean compass and straightedge constructions)
- Kittens game
- Tres Undos (sokoban-like puzzle game)
- So Broken (sokoban-like puzzle game)
- PortalSnake (short puzzle game)
- N Step Steve (puzzle game)
- Stephen's Sausage Roll
- Redactle (original) (find an en.Wikipedia article chosen randomly from the top 10_000 most important ones by revealing where your guess of a word occurs in it)
- Bee magic
- Baba is you
- Mindustry
- Factorio
- Patrick's Parabox
Programming contest or golf problem sets, ideally with evaluation server
- https://www.spoj.com/ Sphere online judge (SPOJ)
- https://adventofcode.com/about Advent of Code (AoC)
- https://projecteuler.net/ Project Euler
- http://golf.shinh.org/ Anarchy golf (anagolf)
- http://terje2.frox25.no-ip.org/ #IRCNet Perl Golf (minigolf; no longer running but archive available)
Todo
- Forth-like languages first and third from IOCCC 1992 buzzard.2 http://www.ioccc.org/years.html#1992_buzzard.2
- OpenTTD signals, and other games interesting for esoprogramming, such as Factorio and M:tG
- Three custom CPUs by BMOW (Big Mess o' Wires): https://www.bigmessowires.com/bmow1/ BMOW 1, https://www.bigmessowires.com/cpu-in-a-cpld/ , https://www.bigmessowires.com/nibbler/ Nibbler
- Mark 1 FORTH CPU built from TTL chips http://www.aholme.co.uk/Mk1/Architecture.htm
- D16/M wire-wrap CPU https://www.timefracture.org/
- That language that pretends to be a Forth-alike but actually only has a stack of depth 2 so is really an accumulator-based machine
- Possibly some other computers in http://members.iinet.net.au/~daveb/simplex/ringhome.html
- Browse https://github.com/topics/programming-language
- Write more about Amycus and Amicus.
- Magic-16
- Perhaps buubot's macro language
- Make sure “Netrunner is Turing-complete” by ais523 is linked somewhere in main namespace.
- Pointer machine aka storage modification machine aka linking automata, with mutable cons fields and with pointer eq comparison, a theoretical model brought up in TAOCP 4.3.3 body and then specified in exercise 12.
- D-17 family of computers with interesting use of disk as main memory and registers.
- Direct proof of lambda expression to {B,C,K,W,I} basis birds expression conversion, Combinatory logic S and K Turing-completeness proof.
- ICFP contest 2004 Dinner with Ambiants ant neurology machine
- perlbot
- Digi-comp 1 a very old educational toy mechanical computer.
- Fractran with not necessarily reduced multipliers; how you compile from Minsky machine or The Waterfall Model or Nopfunge to it; how you work wround not necessarily reduced multipliers to compile to vanilla Fractran
- Dofuck (Brainfuck where brackets are do-while nonzero loops); prove that it is as powerful as full Brainfuck without input except no program can conditionally output nothing