Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

an educational compiler intermediate representation

flat assembler 1 - reconstructed source history

tiny but flexible init system and process supervisor

tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)

Full dark theme for the GoldenDict interface on Windows

Website for arguments against systemd and further resources

Code for "SPSC Lock-free, Wait-free Fifo from the Ground Up" presentation at CPPCON 2023

Minor mode for editing parentheses

A programming language with static memory management based on λ-calculus

Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

McCulloch & Pitts neural net simulator.

An experimental language exploring computation and meaning through term unification, with logic-agnostic types.

Webapp for number to binary conversion

WIP stack language that uses regex for control flow

Ideas, documents, and tutorial pile for the Prowl Language

Files for the xlib tutorial at https://handmade.network/wiki/2834-tutorial_a_tour_through_xlib_and_related_technologies

Uxn emulator for Windows and Wine

@Zicklag's Blog

Awesome things from the community

Stack Lang - stack based programming language

[փ] Varvara/⋃⨉⋂ TUI Emulator.

Official Website

The Callisto compiler of the 13th month, and other language extras

Static wiki engine written in Uxntal