Skip to content
View hengxin's full-sized avatar
🎯
Focusing
🎯
Focusing
485 followers · 46 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Galaxy BrainAchievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Galaxy BrainAchievement: Arctic Code Vault Contributor

Highlights

Block or report hengxin

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
@TsinghuaDatabaseGroup
Database Group of Tsinghua University TsinghuaDatabaseGroup
This is the source-code homepage of Tsinghua Database Group. We focus on database systems, AI4DB, DB4AI, Data integration. We are glad to share our code.

Tsinghua Beijing

@teorth
teorth
@mrigger
Manuel Rigger mrigger
Assistant Professor @ National University of Singapore

National University of Singapore Singapore

@imdea-software
IMDEA Software Institute imdea-software
Madrid Institute for Advanced Studies in Software Development Technologies

Campus Montegancedo s/n 28223, Pozuelo de Alarcon, Madrid, Spain

@google-deepmind
Google DeepMind google-deepmind
@tlaplus
TLA+ tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
@jepsen-io
Jepsen jepsen-io
Distributed Systems Testing
@SIGMOD-ARI
SIGMOD-ARI
@WolframResearch
Wolfram Research, Inc. WolframResearch
@banach-space
Andrzej Warzyński banach-space
Compiler engineer. Mathematician in previous life. @_banach_space

@Arm-Software Scotland

@manim-kindergarten
manim-kindergarten
A group of manim Chinese users (mostly active on bilibili)

China

@Strumenta
Strumenta Strumenta
Strumenta - Language Engineering

Torino

@rocq-community
Rocq-community rocq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of packages for the Rocq Prover
@google
Google google
Google ❤️ Open Source

United States of America

@DmitrySoshnikov
Dmitry Soshnikov DmitrySoshnikov
@cplusplus
ISO C++ Standards Committee cplusplus

Worldwide

@CppCon
CppCon CppCon
The C++ Conference
@secure-foundations
Secure Foundations Lab secure-foundations
We investigate long-term, fundamental improvements in how to design and build secure systems.
@Tencent
Tencent Tencent

Shenzhen, China

@pingcap
PingCAP pingcap
The team behind TiDB TiKV, an open source MySQL compatible HTAP database
@DBHammer
DBHammer DBHammer
DBHammer Group, DaSE, East China Normal University

Shanghai

@nju-lug
Nanjing University Linux Users Group nju-lug
@arminbiere
Armin Biere arminbiere
Professor University of Freiburg

Freiburg im Breisgau, Germany

@lean-dojo
LeanDojo lean-dojo
Machine Learning for Theorem Proving in Lean

United States of America

@platformio
PlatformIO platformio
Your Gateway to Embedded Software Development Excellence 👽

Ukraine

@riscv-software-src
RISC-V Software riscv-software-src
The Open-Standard Instruction Set Architecture

Switzerland

@plctlab
PLCT Lab plctlab
Compilers, Simulators, Runtimes

China

@pku-minic
PKU Compiler Course pku-minic
Learn compiler techniques step by step.

Peking University, Beijing, China

@javacc21
javacc21
@antlr
Antlr Project antlr
The Project organization for the ANTLR parser generator.

San Francisco

@parrt
Terence Parr parrt
Tech lead at Google, ex-Professor of computer/data science, active contributor to open-source projects supporting developers. Creator of ANTLR parser generator.

San Francisco

@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@namasikanam
Xingyu Xie namasikanam
Dream to find rigorousness and meaning in the messy world. Learning how to interact with people.

Max Planck Institute for Security & Privacy Bochum, Germany

@cmu-db
CMU Database Group cmu-db
Database Research Group at Carnegie Mellon University

Pittsburgh, PA

@SRI-CSL
SRI International's Computer Science Laboratory SRI-CSL

Menlo Park, California

@SyGuS-Org
Syntax-Guided Synthesis SyGuS-Org
@tapdata
Tapdata tapdata
A real time data as a service platform built for application developers and data engineers.
@Penglai-Enclave
IPADS Penglai-Enclave
The institute of parallel and distributed systems (IPADS) conducts research in all aspects of computer systems.

Shanghai Jiao Tong University Software Building, 800 Dongchuan Rd., Shanghai, China

@tjworks
TJ tjworks
@lemmy
Markus Alexander Kuppe lemmy

@NVIDIA Redmond, USA

@liusy58
Nicholas liusy58
Yet another normal programmer.

Alibaba China

@edemaine
Erik Demaine edemaine
Professor in computer science at MIT. Specialist in algorithms and data structures.

Massachusetts Institute of Technology Cambridge, Massachusetts, USA

@pbailis
Peter Bailis pbailis

Sisu Data San Francisco

@vim-scripts
Scrappy Scraper vim-scripts
I've been sent to the beach. I don't scrape scripts anymore.
@winterbe
winterbe
Principal Software Engineer. Human Interface Designer.
@alg-nju
Yu Huang alg-nju
Distributed Algorithms and Systems Group (Disalg) at Nanjing University

Nanjing University Nanjing, China