norminette_lsp
A language server for the 42 Norminette — live linting inside your editor.
Rust
CTO · Prism Labs
David Lee
CTO of Prism Labs. A programming-language enthusiast who loves tacit code.
About
David is a programmer drawn to the theory as much as the craft — functional programming, type systems, and language design. His public work leans heavily on Rust and low-level tooling, with a taste for the tacit, point-free style that says more with less.
He is a cadet at 42 and writes about the ideas he's chasing — monads in Rust, PL exploration, and the occasional yak-shave — on his blog, davidLee >>= blog. As CTO of Prism Labs he leads engineering on Toggle AI: the Angular + signals frontend, the Bun / Elysia / Drizzle backend, and the AWS infrastructure behind it.
Focus
Selected work
inject_42h
A CLI that injects the 42 header into a file.
Rust★ 3
pagurus
🚧 A Rust-style borrow-checking clang plugin for C.
C++
hermes_anchored_edit
Content-anchored file tools for the Hermes agent.
Python
DArc
Distended Arc — a compression tool based on FreeArc.
C★ 2
On GitHub
61
Repositories
79
Followers
Pro
Member
×3
Pair Extraordinaire
×2
Pull Shark