The Lobster programming language — wouter van oortmerssen~devauthor.wouter von oortmersenprogramming languages> Lobster is a programming language that tries to combine the advantages of… morestrlen.com 4 weeks agoTildes
A type-safe, component-based language for building reactive WASM web apps.~dev.sourcewasmprogramming languages> [Coi is] a new language for the web, built from scratch to feel like a… moregithub.com Jan 28, 2026
The easiest way to build a type checker~devprogramming languagestype checking> Type checkers are a piece of software that feel incredibly simple, yet… morejimmyhmiller.com Nov 30, 2025Tildes
An experimental concurrent language with linear types~dev.source~securityconcurrencyprogramming languages> Par (⅋) is an experimental concurrent programming language. It's an attempt… moregithub.com Nov 28, 2025Tildes
Independently verifying Go's reproducible builds~ai.agents~dev~securitygolangprogramming languagesreproducibilitywww.agwa.name Oct 30, 2025Tildes