Skip to content
View samth's full-sized avatar
420 followers · 119 following

Sponsoring

@pmatos
@Bogdanp
@racket
@greghendershott

Achievements

Achievement: Pair Extraordinairex2Achievement: Starstruckx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Public SponsorAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex2Achievement: Starstruckx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Public SponsorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@racket @iu-parfunc @CCIS-2510H @nuprl

Block or report samth

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@githubnext
GitHub Next githubnext
Exploring the future of software development

United States of America

@joshuacrotts
Joshua Crotts joshuacrotts
Indiana University Computer Science PhD Candidate.

Indiana University Bloomington, IN

@jryans
J. Ryan Stinnett jryans
Exploring how to make programs more malleable and computing more humane | My communities: @malleable-systems, @matrix-org, @mozilla

Glasgow, UK

@CooperCorad
Cooper Coradeschi CooperCorad
UofU 24' graduate in CS with a focus in Compilers & PL Development

Salt Lake City

@disconcision
andrew blinn disconcision
PL 😘 UI

@hazelgrove @fplab

@countvajhula
Siddhartha Kasivajhula countvajhula

Oakland, CA

@usaoc
Wing Hei Chan usaoc
A linguist who happens to love computation

The Chinese University of Hong Kong Hong Kong

@jennalwise
jennalwise
Assistant Professor in Electrical and Computer Engineering at Purdue University. I do research in programming language design and software verification.

Purdue University

@alex-hhh
Alex Harsányi alex-hhh

Western Australia

@rxg
Ronald Garcia rxg
@neel-krishnaswami
Neel Krishnaswami neel-krishnaswami

University of Cambridge

@kiranandcode
Kiran Gopinathan kiranandcode
Researcher working on proof repair and maintenance

Research Scientist NYC

@kelloggm
Martin Kellogg kelloggm
Assistant Professor at the New Jersey Institute of Technology. I work on making software verification practical for developers.
@jsiek
Jeremy G. Siek jsiek
Professor at Indiana University

Indiana University Bloomington, IN

@jasonhemann
Jason Hemann jasonhemann

Seton Hall University

@michaelballantyne
Michael Ballantyne michaelballantyne

@nuprl Boston, Massachusetts

@winny-
Winston (Winny) Weinert winny-

USA

@camoy
Cameron Moy camoy

PLT @ Northeastern University Boston, MA

@jnfoster
Nate Foster jnfoster

Cornell University Ithaca, NY

@Bogdanp
Bogdan Popa Bogdanp

Cluj-Napoca, Romania

@rrnewton
Ryan Newton rrnewton
Computer Scientist. Containers, Compilers, Deterministic Parallelism.

Meta, Purdue University, Indiana University IN

@ChezScheme
ChezScheme
@SuzanneSoy
Suzanne Soy SuzanneSoy

Nottingham, UK

@AlexKnauth
Alex Knauth AlexKnauth
pronouns: he/him or they/them, discord: alexknauth
@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@LiberalArtist
Philip McGrath LiberalArtist
@racket
Racket racket
@a11ce
sophia a11ce
renaissance woman

SF

@chrdimo
Christos Dimoulas chrdimo

PLT@Northwestern Evanston, IL, USA

@Danl2620
Dan Liebgold Danl2620
Staff Software Engineer at Relativity Space

Relativity Space Long Beach, CA

@ckoparkar
Chaitanya Koparkar ckoparkar
@kartik-sabharwal
Kartik Sabharwal kartik-sabharwal
I'm a Computer Science Ph.D. student at the University of Iowa.

Iowa City, Iowa

@LLazarek
Lukas Lazarek LLazarek
Postdoc at Brown University
@oflatt
Oliver Flatt oflatt

Salt Lake City

@yjqww6
yjqww6
@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@sorawee
sorawee
@pmatos
Paulo Matos pmatos
Igalian working on FEX-Emu, Proud Father of 2, AWA IRONMAN Triathlete. Uke Player - Aspiring Pianist.

@igalia Somewhere beautiful, Germany

@lwhjp
lwhjp

Japan

@wilbowma
William J. Bowman wilbowma
Paren-wielding meta-theorist.
@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@smarr
Stefan Marr smarr
Investigating concurrency, language implementation, and VM technology.

Johannes Kepler University Linz Linz, Austria

@feeley
Marc Feeley feeley

Université de Montréal Montréal, Canada

@weinholt
Gwen Weinholt weinholt
Embedded engineer, Debian Developer, etc. My own repos are hosted on GitLab.

Weinholt Consulting AB Mölndal

@rjnw
Rajan Walia rjnw
@capfredf
Fred Fu capfredf
Yet another typed racketeer who writes untyped code a lot

PLT @ where Dan-scheme was taught

@willghatch
William G Hatch willghatch

USA

@pkoronkevich
Paulette Koronkevich pkoronkevich
don't look at my code
@rossberg
Andreas Rossberg rossberg
Programming Language Researcher, Designer and Engineer
@nikomatsakis
Niko Matsakis nikomatsakis

Boston, MA