Obsidian Systems LLC
Ang Hao Yang
yangzai
Interested in purely typed FP and Type Level Programming.
I was also @haoyang-da.
Singapore
adastack.io
adastackio
Adastack is an open-source Cardano explorer with 130+ pages of resources.
Connor Baker
ConnorBaker
Nix Engineer and Nix CUDA Maintainer. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!
Costa Mesa, CA
Jan Riemer
janriemer
Creating great experiences for people ✨| Building software in Rust, TypeScript, VueJS and Node | Dare to think for yourself | Striving for excellence
Germany
Riya Bisht
chococandy63
21, GSoC CERN-HSF, Compiler Research Group, interested in Computer Architecture & exploring low-level systems programming
[email protected] Compilers Research Group
PreviousNext