Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
- Chicago, IL
-
11:01
(UTC -05:00) - ks.cs.uchicago.edu
- @k4rtik
- in/kartiksinghal
Highlights
Block or Report
Block or report k4rtik
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Chicago Cityscape
ChicagoCityscape
Business intelligence for contractors and architects
Chicago, Illinois
Kartik Singhal
qartik
Quantinuum Chicago
Markdown it!
markdown-it
Next generation markdown parser in javascript, with pluggable syntax!
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
Andrew Kelley
andrewrk
Lead developer & president of Zig Software Foundation
@ziglang Portland, Oregon
Matthew Fluet
MatthewFluet
Associate Professor;
Dept. of Computer Science;
Rochester Institute of Technology
Rochester Institute of Technology Rochester, NY
Harrison Grodin
HarrisonGrodin
PhD Student in PL @ CMU CSD
Carnegie Mellon University Pittsburgh, PA
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formally verified formal methods.
ENS Rennes, Saarland University, CISPA Saarbrücken
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
Peter Williams
pkgw
Innovation Scientist of the Center for Astrophysics | Harvard & Smithsonian.
Center for Astrophysics | Harvard & Smithsonian Cambridge, MA, USA
PreviousNext