Unitree Robotics
unitreerobotics
High performance civilian robot manufacturer. Please everyone be sure to use the robot in a Friendly and Safe manner.
Hangzhou China
OpenWallet Foundation
openwallet-foundation
The mission of the OWF is to develop an open source engine to enable secure and interoperable multi-purpose wallets anyone can use to build solutions.
Csaba Hruska
csabahruska
I'm a software engineer and I'm keen on doing research and development.
I work on compilers and static analyses. I like Haskell, Idris2 and machine code.
London
Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Xavier Leroy
xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming
Collège de France and Inria Paris, France
Michael J Klein
michaeljklein
I like building and fixing tools to scale with high assurance 😄
🔧 Vim, Zsh, C, Coq, Haskell, Docker, Ubuntu, etc.
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA
Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA