malbolge-lisp
elvm
Our great sponsors
malbolge-lisp | elvm | |
---|---|---|
11 | 10 | |
467 | 1,053 | |
- | - | |
2.3 | 0.0 | |
11 months ago | 25 days ago | |
TeX | C | |
Creative Commons Zero v1.0 Universal | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
malbolge-lisp
-
KamilaLisp – A functional, flexible and concise Lisp
I thought I have seen this name…
malbolge-lisp: https://github.com/kspalaiologos/malbolge-lisp
She’s a genius prodigy.
- A Lisp interpreter in Malbolge, dubbed the hardest Turing complete language
-
Might as well use hex
oh you know, some random polish 18yo girl can make a lisp interpreter written in that language, that’s not so hard /s
-
What is the hardest language to learn?
but then...
-
Instagram
With modern cryptanalysis techniques, vulnerabilities have been found that make coding in Malbolge possible for humans. It's not easy, but we're well past the point of needing a computer search through all possible programs (which is how the first Malbolge "hello world" was written). Someone even wrote a LISP interpreter.
- Python and PHP users will understand
-
Programming courses sure are fast paced.
There's a lisp interpreter
- Lisp in an “impossible” language, the most complex Malbolge program to date
- kspalaiologos/malbolge-lisp: A lightweight (150MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
elvm
-
Compilers for the Future
ELVM lacks a lot of features, but serve the purpose of simplifying the creation of new frontends.
-
Show HN: Lambda-8cc – An x86 C compiler written in untyped lambda calculus
How does it work? Is it translating the C source code of the 8cc C compiler to lambda calculus?
So like C -> ELVM IR -> lambda calculus?
https://github.com/shinh/elvm
If so, it seems like 8cc is doing most of the heavy lifting
- Portable TUI programs
-
awkcc: awk-to-C transcompiler (1988, 2011)
Interested parties should also check out awka (https://github.com/noyesno/awka) and ELVM (which can compile C into awk or sed, among various other things) (https://github.com/shinh/elvm)
-
Big list of ASCII games you can play in the terminal
Oh yeah, there's a compiler that can compile C to sed.
-
Design and Implementation of a 256-Core BrainFuck Computer [pdf]
Would be interesting to have some small C program such as info-zip compiled to bf via ELVM [1] and do a speed comparison.
https://github.com/shinh/elvm
- A Simulator of a Universal Turing Machine
-
Lisp in an “impossible” language, the most complex malbolge program to date
A C compiler that can output Malbolge (among many other esolangs) can be found at https://github.com/shinh/elvm - dunno if it has any relation to this work.
Note that the Malbolge (or rather LMAO/HeLL) backend was added back in July 2019, so I'm not so sure about their claim that "It's as of 2020 and 2021, the most advanced, usable Malbolge program ever created."
- ELVM – Similar to LLVM but Dedicated to Esoteric Languages
-
The International Obfuscated C Code Contest 2020 winners
You are looking for ELVM: https://github.com/shinh/elvm/
What are some alternatives?
asmbf - The only true brainfuck-targetting assembler.
xenocryst - A brainfuck interpreter written for memcpy(). Read the paper (or source) for more details.
printbf - Brainfuck interpreter inside printf
awka - Revive awka - Awk to C Compiler
gocket - 💼 CLI / TUI for Pocket
devdash - :bento: Highly Configurable Terminal Dashboard for Developers and Creators
lambda-calculus-devkit - A collection of lambda calculus interpreters and development tools
AIT - Algorithmic Information Theory, using Binary Lambda Calculus
cool-retro-term - A good looking terminal emulator which mimics the old cathode display...
systemf - a brainfuck interpreter supporting linux syscalls with an example HTTP server