Projects

I'm a passionate software developer working on open-source software for safe, reliable, and portable applications. I specialize in a formal methods approach to systems design, with a focus on ergonomics. Via minimality, I hope to make formal theory more accessible outside the ivory tower of academia, and easier to put into practice where it matters. If my projects seem cool or valuable in any way, consider supporting my work!

Sponsor

Support

(I haven't put all my projects here yet!)

• The Cricket Language

  Cricket is a lazy gradually-typed functional language with objects. It's very tiny but very expressive; anyone can implement it themselves!

© 2024 Ryan Brewer.