armchair_progamer @ armchair_progamer @programming.dev

Posts

263

Comments

35

Joined

2 yr. ago

Moderating

---

DINO programming language

Iron Spring PL/I Compiler

Mystical: magic circle programming language

Rivulet (2D esoteric lanugage)

An epic treatise on error models for systems programming languages

Neut Programming Language

So you're writing a programming language

The Vine Programming Language

So you're writing a programming language

Flattening ASTs (and Other Compiler Data Structures)

PC battlestation, Enterprise Edition™

A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code (paper)

Notes on the Crystal programming language

Control structures (free online course, slides)

Total Denotational Semantics (blog)

Lightweight region memory management in a two-stage language

Linearizability! Refinement! Prophecy! (proving code correctness)

An expression parser (small DSL) written in C

Hy: A LISP dialect embedded in Python

Tiny Great Languages: Languages in under 75 lines of code (blog series + GitHub)