nathants
nathants
helping ninagent.com build a better.game and then a better world. nathants.com/verify.sh
research ninaverse
Odin
odin-lang
Odin is a general-purpose programming language with distinct typing built for high performance, modern systems and data-oriented programming.
Artyom Bologov
aartaka
Dreaming of multi-modal interfaces and creating seemingly meaningless programs.
Distributed
Robert Clausecker
clausecker
Researcher in combinatorial SIMD programming, SAT, and heuristic search at Zuse Institute Berlin.
Zuse Institute Berlin Berlin, Germany
Brandon Thomas
echelon
Founder of Storyteller.ai, making film, music, and stories with machine learning.
Want a fun job building the future? Reach out!
Storyteller.ai Atlanta, Georgia, US
Schwarz IT
SchwarzIT
We Are the Technological Heartbeat of the companies of Schwarz Group.
Neckarsulm, Germany
Walter Schulze
awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt.
Interests: LeanProver, Coq, Brzozowski's derivatives.
Stellenbosch University Stevenage, UK
Giovanni Bajo
rasky
Developer Relation @italia / @teamdigitale.
CTO of @develersrl and @greenapes; Python, Go, C++. Interested in algorithms & security.
Develer S.r.l.
Nate Zimmer
NateZimmer
Engineering, Math, and Electronics are my passion.
Please keep in mind many of these repos are ancient and before I finished my under-grad.
Milwaukee WI
PreviousNext