TKnott
Tknott95
mostly private repos that will slowly be open-sourced but possibly can be half-baked at times (made some public repos private again. Some may go priv some pub)
Freelance Software Engineer Denver, CO
Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
Bruno Cardoso
brunocardosof
Desenvolvedor Pleno | Typescript | Node.js | Nestjs | React | Next.js | Nx | AWS
Brasil
Eric Bailey
yurrriq
Highly functional yak stylist, {HoT,PL}T enthusiast, {Erlang,Lisp}er, Kubernaut, MaMuTh meddler, Nix user, (comics) reader, linguaphile, musician, philomath, &c
@sportradar Minneapolis, MN
Adrian Borucki
ntoxeg
AI Engineer, Deep Neural Nets and alternative techniques (NARS, OpenCog).
Aperto / Genotic Warsaw, Poland
Ryan Newton
rrnewton
Computer Scientist. Containers, Compilers, Deterministic Parallelism.
Meta, Purdue University, Indiana University IN