🎹
Programming languages theory, computational linguistics and maths enthusiast.
Occasionally a game maker. Amateur landscape photographer.
Eugene Kornykhin
kornevgen
Lomonosov MSU / Ivannikov Institute for System Programming (ISPRAS) Moscow, Russia
CausalMLBook™ | Applied Causal Inference Powered by ML and AI
CausalAIBook
Free textbook | An introduction to the emerging fusion of ML and causal inference | V. Chernozhukov, C. Hansen, N. Kallus, M. Spindler, V. Syrgkanis.
Chris Fallin
cfallin
Software engineer with a focus on compilers. Currently hacking on WebAssembly-related technologies at F5.
F5 Sunnyvale, CA, USA
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Agda Github Community
agda
See https://github.com/agda/organization/wiki for an overview of the repositories in this organization.
Greg McGarragh
gmcgarragh
Atmospheric radiative transfer and retrieval theory and other stuff.
Cooperative Institute for Research in the Atmosphere, Colorado State University
Typst Gost
typst-gost
Экосистема шаблонов для оформления документов согласно требованиям ГОСТ для Typst
Russian Federation
Dan Salvato
dansalvato
Creator of Doki Doki Literature Club. Founder and developer of Team Salvato, FrankerFaceZ, and 20XXTE.
Team Salvato
Lawrence Livermore National Laboratory
llnl
For over 70 years, the Lawrence Livermore National Laboratory has applied science and technology to make the world a safer place.
Livermore, CA, USA
Matt Schwennesen
mjschwenne
PhD student at the University of Wisconsin, Madison.
University of Wisconsin, Madison Madison, WI
LLVM
llvm
This is the LLVM organization on GitHub for the LLVM Project: a collection of modular and reusable compiler and toolchain technologies.
PreviousNext