Idris 2 Community (Unofficial)
idris-community
Non-core projects for the Idris 2 programming language. Feel free to add projects you want collaboration for.
Valeria de Paiva
vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.
@ToposInstitute Cupertino, CA
Conal Elliott
conal
Play/learn/work with me: https://github.com/conal/Collaboration
(open to employment) San Andreas, California, USA
Bartosz Milewski
BartoszMilewski
Author of Category Theory for Programmers
Programming Cafe Paris, France
Christopher Olah
colah
I want to understand things clearly and explain them well. Interpretability at Anthropic. Formerly OpenAI, Google Brain.
Anthropic San Francisco
Marko Stanić
staniks
Software Engineer.
Due to mostly working with proprietary code, projects here are not an accurate reflection of my skills.
Zagreb
Soumith Chintala
soumith
/\︿╱\ _____________________________
\0_ 0 /╱\╱________________________
\▁︹_/
Thinking Machines New York, USA