Hi, I'm Bjorn.
I write compilers and systems software, mostly in Idris, C++ and Rust.
Projects
- idris-mlirIdris, C++
A whole-program compiler from Idris 2 to native code through MLIR, where the types are promises about cost.
- tm20Rust
Markdown to thermal tape for the Epson TM‑T20III.