Skip to content
View JasonGross's full-sized avatar

Organizations

@barnowl @mitex @rocq-prover @sipb @rocq-community @theorem-labs

Block or report JasonGross

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@SermetPekin
Sermet Pekin SermetPekin
Senior Specialist | Economics & Finance | Data Science & AI | C++ · Python · R | Open Source Creator | Internal Trainer
@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@orpheuslummis
Orpheus Lummis orpheuslummis
public-interest technologist
@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@awalterschulze
Walter Schulze awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives.

Stellenbosch University Stevenage, UK

@Zeta611
Jay Lee Zeta611
Programming programming languages 🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))

@ropas @KoreanTUG Seoul, Republic of Korea

@sun-wendy
Wendy Sun sun-wendy
Physics & AI at MIT

MIT Cambridge, MA

@Daalb
Diego Albor Rojas Daalb
Software Engineer | .Net Developer

Epam Systems Colombia/Barranquilla

@jmanuel1
Jason Manuel jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.

Imagine Learning United States

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@arunppsg
Arun arunppsg
One at a Time

Bangalore, India

@bensenberner
Benjamin Lerner bensenberner
learning how machines learn

New York City

@psilospore
psilospore psilospore
Functional programmer, Software Engineer at Acima, and a CS PhD student at the University of Vermont.

Acima Burlington, Vermont

@chrisamaphone
Chris Martens chrisamaphone

Northeastern University

@jaanli
Jaan Altosaar Li jaanli
Machine learning and data science for health care; prev. @PrincetonUniversity @Phare-Health @google @google-deepmind

University of Tartu & @onefact Brooklyn

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer. Previously Apple Pay Security.

Lafayette, Indiana

@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops https://linktr.ee/h4km discord account m1337d

@meta-introspector New Jersey

@erwanor
Erwan Or erwanor
computer programmer

penumbra labs montreal, quebec

@maxbyz
Gkoran Stoilkovits maxbyz
Gkoran Stoilkovits-Visual Artist who make paintings, sculptures, byzantine icons, printmaking. Enthusiastic about coding and self-taught, amateur programmer 😊

Atelier Stoilkovits Porto Heli, GREECE

@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@MevenBertrand
Meven Lennon-Bertrand MevenBertrand
Post-doc at the University of Cambridge
@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@erikmd
Erik Martin-Dorel erikmd
Software developer, ex-academic

Toulouse, France

@Sosyetekadir
Kadir Sosyetekadir
Yazılanı yaşamaya devamkee
@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@pterodactyl-soup
David Stump pterodactyl-soup
Rayquaza is hungry. Nothing some soup can't fix though.

United States

@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@rocq-community Vietnam