CRAPHT
Sign in / Join

Compilers & Programming Languages

How we turn ideas into instructions, and what else languages could mean.

A domain for people who want to understand parsing, type systems, intermediate representations, code generation, runtime design, and the design of programming languages.

Follow

Start here

Compilers from First Principles

You should be able to write a small compiler for a simple language, including lexer, parser, type checker, and code generator.

Concepts

Test your understanding — adaptive checks that estimate what you actually know, question by question.

Parsing fundamentals

Context-free grammars, LL and LR strategies, ambiguity, and lookahead.

6 questions

SSA form and dataflow

Static single assignment, phi nodes, liveness, and the analyses SSA makes simple.

6 questions

Open Problems

  • What should an Africa-first operating system decide for its users?

    EXPLORING

Active Builds

  • Crapht OS: strong defaults for hard conditions

    Curation plus doctrine plus community, standing on Arch. Strong defaults for hard conditions: offline-capable installs, potato PCs as a primary target, power-resilient updates, a local model as the default agent, and every part open to inspection and change. Nobody writes a kernel. Full vision: docs/vision/crapht-os.md in the Crapht repo.

  • A tiny LSM-tree storage engine

    Can a log-structured merge tree be implemented in ~2k lines and still beat SQLite on write-heavy workloads? Documenting every dead end.

Recent Notes

  • Why LSM-trees make writes cheap

    HOW_IT_WORKS