elvm

Yes. It is compiled to Vim script using ELVM[1]. Though the author of Vim script backend of ELVM is me :) [1]: https://github.com/shinh/elvm

Tromp binary lambda calculus less hardware dependent.[0] CFR[] makes for more dimensional programming.[9] Sectorlisp blinking lights demo[10] Adding unicode support / ansi escape color escape sequences to/with 'mov' would make for a single 'extended typed' mov[8] 64bit instruction set. Nature uses coded color color blocks. So, use ELVM[1] with LinearLisp[2] to do picturesqe tile programming[3] with Piet[4] or other suitable 'make brain hurt less' esolang[5]? Although, diy direct brain programming is less of a reality today, may still 'make brain hurt' [6]. Adding some abstraction does make for easier comprehension.[7] --------- [0] : a) https://news.ycombinator.com/item?id=4666562 b) https://en.wikipedia.org/wiki/One-instruction_set_computer [1] elvm : https://github.com/shinh/elvm [2] linear lisp : https://github.com/ys

ELVM might be a related project, which takes C code and compiles to various languages, including VIM. https://github.com/shinh/elvm

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

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)

Would be interesting to have some -small- (not necessarily small, but portable) C program such as info-zip compiled to bf via ELVM [1] and do a speed comparison. https://github.com/shinh/elvm

ELVM (https://github.com/shinh/elvm) is a C compiler with a Turing machine backend.

ELVM [0] also has a C++14 constexpr target, also using 8cc as the frontend ! [0] https://github.com/shinh/elvm

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."

You are looking for ELVM: https://github.com/shinh/elvm/ (I have seen many others, but in terms of activity it seems the most maintained one.)

ELVM uses a modified version of 8cc to compile C into some utterly weird targets. Brainfuck, sed, TeX, whitespace... https://github.com/shinh/elvm

And for the other direction (C->sed): https://github.com/shinh/elvm

Been a couple years since I passed this project, optimized their reference Befunge implementation & improved codegen for generating numbers: https://github.com/shinh/elvm/pull/18 (Befunge has commands for pushing 0-9 on the stack, have to use arithmetic past that, so old codegen would essentially compute the base 9 representation, whereas more efficient encodings are possible by factoring numbers & using ':' to duplicate the top of the stack) Esoteric programming languages are fun, I put 'Befunge' on my resume as a programming language I know, opens up something I can ramble passionately about for hours. They explore a space that is completely self serving, a form of PL theory existing in its own vacuum