Explore
GitHub - NICUP14/MiniLang: A type-safe C successor that compiles directly to various platforms.
MiniLang A type-safe C successor that compiles to various platforms. QuickStart Language Documentation Standard Library Documentation...
A Knownbits Abstract Domain for the Toy Optimizer, Correctly
After Max' introduction to abstract interpretation for the toy optimizer in the last post, I want...
Simple fast value semantics - Boomla
For more context, this solution is mutable value semantics implementation with implicit copy, optimized for simplicity...
Abstract interpretation in the Toy Optimizer
CF Bolz-Tereick wrote some excellent posts in which they introduce a small IR and optimizer and...
Some tricks from the Scrapscript compiler
Scrapscript is a small, pure, functional, content-addressable, network-first programming language. fact 5 . fact = |...
jank development update - Multimethods!
Welcome back to another jank development update! For the past month, I've been pushing jank closer...
Macros and optimizations: it's just a phase
This post builds upon the previous one where I built the smallest OOP language I could...
jank development update - New projects!
Hey folks! I've been building on last month's addition of lazy sequences, loop*, destructuring, and more....