8000 linlib (linearlibrary) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View linlib's full-sized avatar
13 followers · 39 following

Block or report linlib

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@ellie-sleightholm
Ellie Sleightholm ellie-sleightholm
Building cool projects and resources with @marqo-ai 🚀🦛

@marqo-ai

@erdostw
Janos Erdos erdostw
work profile of @erdos

@transferwise

@ncfavier
Naïm Camille Favier ncfavier
aka ncf. PhD student working on cubical type theory.

Chalmers University of Technology Sweden

@eric-wieser
Eric Wieser eric-wieser

@google-deepmind Greater London area

@vihdzp
Violeta Hernández vihdzp
Fourth year math student at the University of Guanajuato. Also likes programming mathy stuff.

Guanajuato, Mexico

@cledmonds
Chelsea Edmonds cledmonds
@DavidJaz
David Jaz Myers DavidJaz
A mathematician. Interested in categorical systems theory, modal type theory, and what it means to be a "thing".
@thefundamentaltheor3m
Sidharth Hariharan thefundamentaltheor3m
MSci Maths student at Imperial College London. I like proving theorems, and I sometimes do so in Lean.

@ImperialCollegeLondon

@101damnations
Amelia Livingston 101damnations
@kristinas
Kristina Sojakova kristinas

Carnegie Mellon University

@jcommelin
Johan Commelin jcommelin

— —

@zeramorphic
Sky Wilshaw zeramorphic
PhD student at Nottingham, researching semantics of memory safety and borrowing.

Cambridge, UK

@erdos
Janos Erdos erdos
see also @erdostw

@transferwise Budapest

@sinhp
Sina Hazratpour sinhp
Category Theory, Type Theory, Formalization, ML

Johns Hopkins, US

@scholzhannah
Hannah Scholz scholzhannah

Bonn, Germany

@faenuccio
Filippo A. E. Nuccio faenuccio
I am Lecturer (Maître de Conférences) in Pure Mathematics in Saint-Étienne, France

Université Jean-Monnet Saint-Étienne, France

@Rida-Hamadani
Rida Hamadani Rida-Hamadani
math grad that likes coding

Beirut, Lebanon

@antoinelab01
antoinelab01
@mariainesdff
María Inés de Frutos-Fernández mariainesdff

Imperial College London

@EuroProofNet
EuroProofNet
@linesthatinterlace
Wrenna Robson linesthatinterlace
@Vierkantor
Anne Baanen Vierkantor
@rmbellovin
Rebecca Bellovin rmbellovin
@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@lakesare
Evgenia Karunus lakesare

Tbilisi

@madvorak
Martin Dvořák madvorak

Institute of Science and Technology, Austria Czech Republic

@AntoineChamber A7A0 t-Loir
Antoine Chambert-Loir AntoineChambert-Loir
Professor of mathematics

Université Paris Cité Paris

@CAIMEOX
CAIMEO CAIMEOX
More is different.

PLCT | Rustica Complex Manifold

@utensil
Utensil utensil
@timotree3
Timo Carlin-Burns timotree3
I love to code and learn new languages!
@Shamrock-Frost
Brendan Seamas Murphy Shamrock-Frost
Pure math grad student

University of Utah Salt Lake City, Utah

@shanghechen
shanghechen
@onriv
onriv onriv
@jstoobysmith
Joseph Tooby-Smith jstoobysmith
Postdoc at Reykjavik University working on formalisation in physics
@mckoen
Jack McKoen mckoen

University of Alberta

@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@adamtopaz
Adam Topaz adamtopaz
@fpvandoorn
Floris van Doorn fpvandoorn

University of Paris-Saclay Paris

@jzxia
Jiazhen Xia jzxia
student at Zhejiang University

Zhejiang University 866 Yuhangtang Road, Hangzhou 310058

0