🔮
λ
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
- Lausanne, Switzerland
- https://romac.me
- @romac@hachyderm.io
- @romac.me
Highlights
Stars
🔨 Compilers
9 repositories
A cross-platform implementation of the Immix Garbage Collector
TornadoVM: A practical and efficient heterogeneous programming framework for managed languages
🍬 a functional language for building type-safe, scalable, and maintainable applications







