Skip to content
View k4rtik's full-sized avatar
238 followers · 190 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

Organizations

@uchicago-cs @brown-csci1380 @OPLSS @rocq-community @inQWIRE @sml-nj-historical @QuantumPL @openqasm @EPTCS @LambdaQs

Block or report k4rtik

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
@stevevance
Steven Vance stevevance

Chicago, Illinois

@ChicagoCityscape
Chicago Cityscape ChicagoCityscape
Business intelligence for contractors and architects

Chicago, Illinois

@qartik
Kartik Singhal qartik
Quantum Compiler Engineer at Quantinuum (@CQCL / @CQCL-DEV). In superposition with @k4rtik.

Quantinuum Chicago

@ciaranra
Ciarán Ryan-Anderson ciaranra
@yao-cqc
yao-cqc
@cqc-alec
Alec Edgington cqc-alec
@stylewarning
Robert Smith stylewarning
Flipping bits and rotating qubits.

Los Angeles, CA

@markdown-it
Markdown it! markdown-it
Next generation markdown parser in javascript, with pluggable syntax!
@cmu-sei
Software Engineering Institute cmu-sei
At the SEI, we research software engineering, cybersecurity, and AI engineering problems; create innovative technologies; and put solutions into practice.

Pittsburgh, PA

@andrewrk
Andrew Kelley andrewrk
Lead developer & president of Zig Software Foundation

@ziglang Portland, Oregon

@lambdabetaeta
Alex Kavvos lambdabetaeta

University of Bristol Bristol, United Kingdom

@nikivazou
Niki Vazou nikivazou
Research Assistant Professor and Haskeller

IMDEA Madrid

@jlevy
Joshua Levy jlevy

San Francisco

@yav
Iavor S. Diatchki yav
@GaloisInc
Galois, Inc. GaloisInc

Portland, OR

@glguy
Eric Mertens glguy
@peter-campora
John Peter Campora III peter-campora
Quantum Compiler Engineer at Quantinuum.

Broomfield, CO

@shwestrick
Sam Westrick shwestrick

New York University New York, NY

@levbishop
Lev S Bishop levbishop
Quantum factotum

@IBM NY, USA

@simonpj
Simon Peyton Jones simonpj

Epic Games

@standardml
Standard ML standardml
@MLton
MLton MLton
@MatthewFluet
Matthew Fluet MatthewFluet
Associate Professor; Dept. of Computer Science; Rochester Institute of Technology

Rochester Institute of Technology Rochester, NY

@smlnj
Standard ML of New Jersey smlnj
@logsem
Logic and Semantics @ Aarhus University logsem

Aarhus, Denmark

@ss2165
Seyon Sivarajah ss2165
Quantum software @Quantinuum

Quantinuum

@billti
Bill Ticehurst billti

Microsoft Seattle

@chabbimilind
chabbimilind
@1tnguyen
Thien Nguyen 1tnguyen

NVIDIA Canberra, Australia

@DevdudeSami
Youssef Moawad DevdudeSami

Glasgow, UK

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@cangiuli
Carlo Angiuli cangiuli
@favonia
favonia favonia
Teaching at U of Minnesota

University of Minnesota Minneapolis, MN, USA

@simfleischman
Scott Fleischman simfleischman

SimSpace

@HarrisonGrodin
Harrison Grodin HarrisonGrodin
PhD Student in PL @ CMU CSD

Carnegie Mellon University Pittsburgh, PA

@vikraman
Vikraman Choudhury vikraman
Marie Skłodowska-​Curie Fellow

Università di Bologna Bologna, Italy

@maxsnew
Max S. New maxsnew

University of Michigan CSE Ann Arbor, MI

@sdiehl
Stephen Diehl sdiehl
I build software.

London

@lattner
Chris Lattner lattner

Bay Area, California, USA

@achlipala
Adam Chlipala achlipala
Researcher in tools and platforms to help do niftier things with software and hardware

MIT Cambridge, MA

@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formal verification using proof assistants.

CISPA Helmholtz Center for Information Security Saarbrücken

@antalsz
Antal Spector-Zabusky antalsz
I use GitHub for work and collaboration, but my personal projects have moved to GitLab (same username) because GitHub is contracting with ICE.

@rigetti Brooklyn, NY

@cofibrant
Nathan Corbyn cofibrant
Doctoral Computer Science student at the University of Oxford

UK

@patrickt
Patrick Thomson patrickt
Te occidere possuntque te edere possunt; licit est.

Queens, NYC

@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@anuyts
anuyts

KU Leuven

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@arthuraa
Arthur Azevedo de Amorim arthuraa
Assistant professor at Rochester Institute of Technology.

Rochester Institute of Technology Rochester, NY, USA

@pkgw
Peter Williams pkgw
Technical Lead, IAU Minor Planet Center, Center for Astrophysics | Harvard & Smithsonian.

Center for Astrophysics | Harvard & Smithsonian Cambridge, MA, USA