Sidharth Hariharan
thefundamentaltheor3m
MSci Maths student at Imperial College London. I like proving theorems, and I sometimes do so in Lean.
@ImperialCollegeLondon
Yuyang Zhao 赵雨扬
FR-vdash-bot
Competitive programmer. Graduate. Want to study math and TCS.
BICMR 北京国际数学研究中心 Haidian, Beijing 北京海淀
miniKanren.org
miniKanren
https://mitpress.mit.ed
10000
u/books/reasoned-schemer-second-edition
Darij Grinberg
darijgr
Mathematician (assistant professor) at Drexel University.
Drexel University Philadelphia, US / Karlsruhe, DE
High-Performance Computing at the NIH
NIH-HPC
Repositories for tools developed by the NIH HPC staff. These tools are made available here as a courtesy, without any guarantee of support
Bethesda, MD, USA
Morph
morph-labs
Developing infrastructure for the next billion artificially intelligent software engineers
United States of America
SII - Generative Artificial Intelligence Research Lab (GAIR)
GAIR-NLP
GAIR is part of SII, focusing on Generative Artificial Intelligence Research, with joint effort from SJTU.
Csaba Schneider
schcs
Professor at the Universidade Federal de Minas Gerais, Belo Horizonte, Brazil
Universidade Federal de Minas Gerais Belo Horizonte
Formalization of mathematics
UofSC-Spring-2023-Math-768-001
Using Lean to prove things.
United States of America
The Macrocosm Consortium
macrocosmcorp
"If you just zoom out far enough, the human race becomes a single organism"
Antarctica
CLUE benchmark
CLUEbenchmark
Organization of Language Understanding Evaluation benchmark for Chinese: tasks & datasets, baselines, pre-trained Chinese models, corpus and leaderboard
Toran Bruce Richards
Torantulino
Founder of AutoGPT - #24th most popular GitHub Repo in the world! 🐙
UK
PreviousNext