RainbowBird
luoling8192
👩💻 / Digital Nomad / Full stack developer / Mentor @nekomeowww
@proj-airi Shanghai
Sakamoto Noriaki
na4zagin3
Interested in functional languages (Haskell, OCaml, Coq, &c) and natural languages (Ancient Greek, Georgian, Classical Chinese)
Indeed.com
High-Dimensional Data Analysis with Low-Dimensional Models
book-wright-ma
A book project and the associated teaching material and support
United States of America
Anton Ping
AntonPing
An undergraduate at Moscow State University. Write Rust and Haskell most of the time.
Moscow State University Moscow
Marcus Kalander
shaido987
Interested in anomaly detection, time series forecasting, and robotics.
Noah's Ark Lab @huawei-noah Hong Kong
David Binder
BinderDavid
Researcher in type theory and programming languages
University of Kent Canterbury, UK
WKU-MoonBit-AI-Collections
Research on the Application of LLM in the AI Lab of Wenzhou Kean University
Zhang Kezhen
ApolloZhangOnGithub
A student in HKU minoring Computer Science.
The University of Hong Kong
Language Development Lab, HKU
ldlhku
Language Development Lab, Department of Linguistics, the University of Hong Kong
The University of Hong Kong Hong Kong
Ocat
Coordinate-Cat
What I've learned over the past few years is that if you have time to grow a text editor, you might as well build an app.
Tokyo/Japan
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
Following the renaming of the Coq proof assistant into the Rocq Prover, this organization has been renamed to Rocq-community.
coq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of Rocq packages.
Jax Tam
EnhancedJax
Aspiring student studying at The University of Hong Kong.
The University of Hong Kong Hong Kong
PreviousNext