A listing of compiler, language and runtime teams for people looking for jobs in this area

Compiler for the C3 language

fyp: linking rust code with lean4

Forus Lab's Flutter UI library

An experimental stackless Lua VM implemented in pure Rust

an educational compiler intermediate representation

Write expressive, high-performance parsers with ease.

Loungy is a WIP launcher in the vein of Spotlight, Alfred, Raycast.

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

dev tools, env vars, task runner

freetar - an alternative frontend to ultimate-guitar.com

The headless rich text editor framework for web artisans.

Sync little subsets of your Postgres data into local apps and services.

a truly censorship-resistant alternative to Twitter that has a chance of working

Common libraries and data structures for C.

Telegram bot for Climbwhere.sg

A Compiler Writing Journey

👌 A smol functional language that targets other languages

The Serenity Operating System 🐞

🧗 Timely climbing/bouldering gym slot info

A collection of resources for learning type theory and type theory adjacent fields.

A language for writing regular expressions.

Toy Programming Language.... that is somewhat usable?

A dropbox backed by any S3 bucket

fix & archive outgoing links on your website

A small extensible programming language designed for concise expression with little code.

文言文編程語言 A programming language for the ancient Chinese.