Skip to content
View spitters's full-sized avatar
46 followers · 2 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@HoTT @math-classes @c-corn

Block or report spitters

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
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@wrsturgeon
Will Sturgeon wrsturgeon
CS+CogSci @ UPenn

University of Pennsylvania Los Angeles, CA

@cmcmA20
cmcmA20
@carlostome
Carlos Tomé Cortiñas carlostome
@omelkonian
Orestis Melkonian omelkonian
PhD @ University of Edinburgh   Formal Methods @input-output-hk   Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification

Input Output (IOG) Kirkwall, Orkney, Scotland

@SeshatCZ
SeshatCZ

Czech republic

@ErVinuelas
ErVinuelas

Aarhus, Denmark

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@vHugoObject
Earl Chase vHugoObject
@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@ndcroos
ndcroos
@YiqiXu
Yiqi Xu YiqiXu
@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@BwRy
BwRy
This user prefers an air of anonymity
@rigille
Rígille S. B. Menezes rigille
So I'm just trying to learn some things and have fun

Mixrank Vitória, Brasil

@ayberkt
Ayberk Tosun ayberkt
PhD student at the University of Birmingham.

University of Birmingham Birmingham, UK

@chris-wood
Christopher Wood chris-wood

NYC

@dhsorens
Derek Sorensen dhsorens

University of Cambridge London, UK

@yveshauser
Yves Hauser yveshauser

Zurich, Switzerland

@soraros
soraros
@EricCrosson
Eric Crosson EricCrosson
Maybe the real tests were the types we made along the way
@Jmw150
Engiseer Jmw150
"We are the music makers, and we are the dreamers of dreams."
@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@BarrensZeppelin
Oskar Haarklou Veileborg BarrensZeppelin
Program Analysis Engineer @ Coana

Coana Aarhus, Denmark

@oisdk
Donnacha Oisín Kidney oisdk
Computer science PhD student at Imperial College London.

Cork, Ireland

@marat-curious
Marat marat-curious
@Alizter
Ali Caglayan Alizter

London, United Kingdom

@dranov
George Pîrlea dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.

Singapore

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

https://tonstudio.io Dubai

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@nasosev
Naso Evangelou-Oost nasosev

@oneironaut-dev Australia

@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@curiousleo
Leonhard Markert curiousleo
@KevinHock
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.

@grammarly (Formerly @pinterest, @Yelp) I love San Francisco

@CheeseTurtle
Stan Soo CheeseTurtle
UTSA Electrical Engineering student and self-taught coding whiz. Enthusiastic about DSP and AI; tentatively curious about microrobotics and biosensors.
@avesus
Brian Cannard avesus
Scalable Distributed Software and Hardware Engineer

@solidstatepros Seattle, WA

@technologiclee
Lee Nelson technologiclee

looking for startups Shenzhen China

@imalhasaranga
Imal Hasaranga Perera imalhasaranga
Founder and CEO of Treinetic LLC

@Treinetic sri lanka

@zxmrh67
Benjamin Jogsch zxmrh67

Germany

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@wires
yellow wires
@dcolish
Dan dcolish

Earth

@huitseeker
François Garillot huitseeker
Dabbling with streams & distributed data in close proximity to ☕.

4DE3 AD16 FA0A 584B 3C8D C054 3ACB 4CB1 5EA2 FFD6 Tiohtià:ke