Samuel Schlesinger
SamuelSchlesinger
Cryptography engineer at Google Chrome focused on the intersection of privacy and security.
Computer science is my hobby.
Google Connecticut
Tomáš Skřivan
lecopivo
Mathematician interested in physics simulation, computer graphics and numerical methods.
Gregory Terzian
gterzian
I write in Javascript, Python, Rust, and English. Always for people to read.
Predictable Machines
predictable-machines
Building Trust through Verification
United States of America
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Penrose
penrose
Create beautiful diagrams just by typing mathematical notation in plain text.
Carnegie Mellon University
Signaloid
signaloid
Signaloid provides computing platforms for efficient execution of workloads ranging from quantitative finance, to physics simulation and probabilistic AI/ML.
Sheafification of G
SheafificationOfG
Organisation for YouTube content made by the Sheafification of G
Canada
Elisabeth Stenholm
elisabethstenholm
👩💻 Software developer | λ Functional programming enthusiast | 👩🎓 PhD in Homotopy Type Theory
TON - The Open Network
ton-blockchain
The next gen network to unite all blockchains and the existing Internet
Anders Hejlsberg
ahejlsberg
Microsoft Technical Fellow and lead architect of TypeScript. Original designer of C#, Delphi, and Turbo Pascal.
Microsoft Redmond, WA, USA
Bartosz Milewski
BartoszMilewski
Author of Category Theory for Programmers
Programming Cafe Paris, France
The Longplayer Trust
TheLongplayerTrust
Longplayer is a one thousand year long musical composition.
Philip Wadler
wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.
University of Edinburgh Edinburgh
PLAINSOUND
PLAINSOUND
Established in 2000 by Marc Sabat and Wolfgang von Schweinitz, PLAINSOUND takes an open source approach to sharing artistic research and works with a JI focus.
Berlin, Germany
Amy Thomason
andy-thomason
Code performance specialist and Rust trainer.
@atomicincrement Pangbourne
Agda Github Community
agda
See https://github.com/agda/organization/wiki for an overview of the repositories in this organization.
Univalent Mathematics
UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
David Loeffler
loefflerd
Mathematics professor at UniDistance Switzerland. Interested in number theory and in formal proof verification.
Brig, Switzerland
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
PreviousNext