Typst
typst
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.
Berlin
Joshua Suskalo
IGJoshua
Data Engineer working full-time in Clojure in the Ad-Tech industry. Sometimes I do gamedev for fun.
IRIS.TV Pennsylvania
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
David Luposchainsky
quchen
Likes Haskell. Interested in derived languages (Agda, Idris, Purescript). Would like to learn more about Rust.
Germany