Lex · Engineering & teaching
Programming languages, developer tools, and workspaces for exploring ideas. I build the foundations and the books, guides, and examples that help people use them.
Different starting points, with a shared interest in tools people can understand and build on.
Language, tools & teaching
A systems programming language that makes program structure and correctness easier to examine.
A compiler, an optional mathematical proof pipeline, and a teaching book bring the language and its ideas together.
Explore TyuWriting & knowledge workspace
A desktop workspace for writing notes, connecting ideas, and exploring how they relate.
Editing, reading, search, and a map of note links come together while your notes stay as plain text files.
Explore FlaviteI’m Lex. I like building the foundations behind a useful tool: the language it runs, the rules it follows, and the ways people learn to work with it. Across these projects, I keep coming back to making behavior understandable and giving people control over their own work.
Relurpify is one example of a system for building other systems: it provides the tools and execution rules for creating AI agents. Tyu brings that idea to programming languages, with a compiler, a teaching book, and an optional pipeline for checking mathematical proofs about programs.
These are independent projects. Paid work usually applies the same capabilities to another organization’s problem. I’m interested in both building something useful and helping the people who inherit it understand how it works.
Teaching is part of the work. Tyu has a book with practical labs and a browser playground, so you can explore the language and its ideas without starting with a toolchain installation.
Consulting · Employment · Project support
Have a problem that could use this kind of thinking? I'm open to consulting, employment, and support for my independent projects. We can start with what you want to make possible and work out the shape of the engagement together.
How we could work together