-
Aeris Secure
- Seattle, WA
- https://aerissecure.com
Simon Ser
emersion
I work on open-source software.
Most of my other contributions are on Codeberg, sr.ht and gitlab.freedesktop.org.
France
Walter Schulze
awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt.
Interests: LeanProver, Coq, Brzozowski's derivatives.
Meta London, UK