Skip to content
View chrjx's full-sized avatar
11 followers · 61 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report chrjx

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
@UniMath
Univalent Mathematics UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
@doofin
Eason du doofin
part-time researcher about functional and formal math

Chinese Academy of Sciences China

@xuanruiqi
Xuanrui Qi xuanruiqi
Software engineer & category theorist

@HashHubTokyo Tokyo

@deepseek-ai
DeepSeek deepseek-ai
@jjdishere
Jiang Jiedong jjdishere
@wangyt95
Yutong Wang wangyt95
PhD (in statistics) candidate at London School of Economics and Political Science

London School of Economics & Political Science London

@duncanleo
Duncan Leo duncanleo
Software Engineer @taskade, Founder @undertideco

@undertideco @taskade Singapore

@BrightBlu
Yuheng Wu BrightBlu
@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@YYReese
Ruizi Yan YYReese
@amor71
@amor71 amor71
Software as a form of Art, Cat Herder, Algo-Trader

New York

@dselsam
Daniel Selsam dselsam
@fverne
Frederik Verne Henriksen fverne
@Mirtia
Myrto Mirtia
Loading...

Denmark

@oxfordcontrol
University of Oxford Control Group oxfordcontrol

Oxford, UK

@goulart-paul
Paul Goulart goulart-paul
Professor of Engineering Science, University of Oxford

University of Oxford Oxford, UK

@Uffe-H-Thygesen
Uffe Høgsbro Thygesen Uffe-H-Thygesen
Associate professor: Applied math, stochastic processes, dynamic optimization, applications in life science and technology.

Technical University of Denmark Lyngby, Denmark

@FinancialComputingUCL
Financial Computing & Analytics Group UCL FinancialComputingUCL
We investigates socio-economic systems using methods from computer science, applied mathematics, computational statistics and network theory.

United Kingdom

@SMKIDRaadet
S/M-KID Rådet SMKIDRaadet

Denmark

@xxmyjk
Jin Yi xxmyjk
O(O_O)O

( ^ _ O ) Beijing

@cplusplus
ISO C++ Standards Committee cplusplus

Worldwide

@MarisaKirisame
霧雨魔理沙 MarisaKirisame
Ordinary Magician

魔法の森, Gensokyo

@v2fly
V2Fly v2fly
V2Fly, a community-driven edition of V2Ray.

Mars

@cpuguy83
Brian Goff cpuguy83

@Microsoft Seattle, WA

@tschm
Thomas Schmelzer tschm
Quant, Rhodes scholar, mathematician, coder, cyclist and angel investor living the Arabian dream. Visiting Scholar at Stanford with @stephenpboyd in 2023

Stanford & ex-(Team Q @ ADIA) Palo Alto & Abu Dhabi, United Arab Emirates

@ulfworsoe
Ulf Worsøe ulfworsoe
Long time developer at MOSEK, responsible for a long list of projects mostly centered around mathematical optimization and modeling in some way.

@MOSEK Copenhagen, Denmark

@konn
Hiromi Ishii konn
Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math. Writing some Rust for living for a while.

Jij, Inc. @Jij-inc Tokyo

@liuxinyu95
Liu Xinyu liuxinyu95

Beijing, China

@MOSEK
MOSEK ApS MOSEK
One of the world-leading supplier of software for mathematical optimization.

Copenhagen, Denmark

@3b1b
Grant Sanderson 3b1b
I make videos about math.

3Blue1Brown

@seliopou
Spiros Eliopoulos seliopou

@seliopou BK/RI

@chrisdone
Chris Done chrisdone

Artificial Labs @artificialio England

@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@yminsky
Yaron Minsky yminsky

Jane Street New York, USA

@sherlyhu00
Yirui(Shirley)Hu sherlyhu00
Linkedin:https://www.linkedin.com/in/yirui-hu-13a015210/

Atlanta

@janestreet
Jane Street janestreet
@nathanlesage
Hendrik Erz nathanlesage
Academic Researcher in Arts & Humanities with bias towards software. Maintainer of @Zettlr.

@Zettlr Sweden

@johndmurray
johndmurray
@computational-psychiatry-course
Computational Psychiatry Course computational-psychiatry-course

Zurich

@roq-trading
Roq Trading Solutions roq-trading
A toolkit for quant traders wanting full control of their own trading platform. Open, modular and built for ultra-low latency market making.

Switzerland

@HIT-Alibaba
HIT-Alibaba HIT-Alibaba
哈尔滨工业大学阿里巴巴技术联盟

Harbin, Heilongjiang, China

@logseq
Logseq logseq
A privacy-first, open-source platform for knowledge management and collaboration.
@AsahiLinux
Asahi Linux AsahiLinux
Porting Linux to Apple Silicon Macs
@alfredcai
ShAlfred alfredcai
Everything, code it

Shanghai, China

@gyyang
gyyang
CEO & Co-founder at Fundamental Research Labs

Fundamental Research Labs Menlo Park

@clowwindy
clowwindy
@spf13
Steve Francia spf13
Always learning • Led @golang @google, MD @twosigma, VP @mongodb & @docker, @drupal board • @gohugoio, Cobra & spf13-vim creator

NYC

@ruyuanzhang
Ru-Yuan Zhang ruyuanzhang
Principal Investigator, School of Psychology and Shanghai Mental Health Center at Shanghai Jiao Tong University, Shanghai, China

Shanghai Jiao Tong University Shanghai, China

@hasufell
Julian Ospald hasufell
Haskell freelancer, Opensource enthusiast.

Durian Consulting Pte. Ltd. Taipei

@junpenglao
Junpeng Lao junpenglao
I used to do brain stuff.

@google Zurich, Switzerland