Skip to content
View hjy1's full-sized avatar

Highlights

  • Pro

Block or report hjy1

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
@nicegeo
CS 598 TLR nicegeo
building a proof assistant
@sunnycase
sunnycase sunnycase
Code for FUN !

@flagos-ai Beijing, China

@illinois-cs-coursework
Illinois CS Coursework illinois-cs-coursework
Automatically-generated private coursework repos

United States of America

@eth-sri
SRI Lab, ETH Zurich eth-sri
Secure, Reliable, Intelligent Systems Lab, ETH Zurich

Switzerland

@bemanproject
The Beman Project bemanproject
Tomorrow's C++ Standard Libraries Today
@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@nasa
NASA nasa
Read Open Data initiative here: https://www.nasa.gov/data & Instructions here: https://github.com/nasa/instructions/blob/master/docs/INSTRUCTIONS.md

United States of America

@RainerGrimm
Rainer Grimm RainerGrimm
I worked as a software architect, team lead and instructor for about 20 years. I wrote a few books about modern C++.

Modernes C++

@isocpp
Standard C++ Foundation isocpp

United States of America

@opendp
OpenDP opendp
Open Differential Privacy
@prismmodelchecker
PRISM Model Checker prismmodelchecker
Source code for the PRISM model checker and related projects
@probsys
Probabilistic Computing Systems Lab probsys
Research group at Carnegie Mellon University

Pittsburgh, PA

@karpathy
Andrej karpathy
I like to train Deep Neural Nets on large datasets.

Stanford

@lecopivo
Tomáš Skřivan lecopivo
Mathematician interested in physics simulation, computer graphics and numerical methods.
@hkust-taco
HKUST TACO Lab hkust-taco
Types, Abstraction, Compilers & Optimization – research group at HKUST

Hong Kong

@misailo
Sasa Misailovic misailo

University of Illinois

@lewtun
lewtun
Cowboy post-training @ Hugging Face

@huggingface Bern, Switzerland

@rasbt
Sebastian Raschka rasbt
AI Research Engineer working on LLMs.
@lean-dojo
LeanDojo lean-dojo
Machine Learning for Theorem Proving in Lean

United States of America

@lucidrains
Phil Wang lucidrains
Working with Attention. It's all we need

San Francisco

@sbrantq
Acake sbrantq
Siyuan Brant Qian, a CS PhD student at UIUC @PRONTOLab.

University of Illinois Urbana-Champaign (UIUC) Champaign, IL

@llvm
LLVM llvm
This is the LLVM organization on GitHub for the LLVM Project: a collection of modular and reusable compiler and toolchain technologies.
@LPTK
Lionel Parreaux LPTK
Assistant Professor at HKUST (Hong Kong University of Science and Technology), CSE department

HKUST

@GitbookIO
GitBook GitbookIO
Personalized, intelligent docs — tailored to every user, powered by AI.

United States of America

@THargreaves
Tim Hargreaves THargreaves
PhD Student in the Cambridge Machine Learning Group, researching topics in computational statistics.

University of Cambridge United Kingdom