Ayan Sarma
Currently hacking on
Zeal
.
Email
|
Projects
|
Codeberg
Blog Posts
Projects
Zeal
- an expressive type system and toolchain for writing efficient, reliable distributed systems.
Talks