8000 JaewooKim0 (Jaewoo Kim) / Starred · GitHub
[go: up one dir, main page]
Skip to content
View JaewooKim0's full-sized avatar
🐢
🐢
58 followers · 238 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report JaewooKim0

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lists (27)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Starred repositories

8 stars written in TeX
Clear filter

dart-lang / language

Design of the Dart language

TeX 2,942 239 Updated Nov 11, 2026

HoTT / book

A textbook on informal homotopy type theory

TeX 2,177 382 Updated Jun 18, 2026

google / cluster-data

Borg cluster traces from Google

TeX 1,113 218 Updated Aug 7, 2026

hpmor-book / hpmor

Forked from bogdanb/hpmor

PDF, ePUB and Mobi versions of “Harry Potter and the Methods of Rationality”, from LaTeX source

TeX 443 63 Updated Oct 26, 2026

buildbot / botherders

Buildbot Administration

TeX 18 20 Updated Apr 6, 2022

google-deepmind / twoxtwogame

Latex package for visualizing 2x2 games

TeX 11 1 Updated Mar 6, 2024

Jigsaw-Code / eml

An experimental concurrent, hierarchical, event-based state machine programming language intended for implementing distributed management systems and modeling complex protocols.

TeX 8 7 Updated May 11, 2018

aiju / pbook

textbook "Topics in Mathematics and Physics"

TeX 4 Updated Jan 9, 2017

Starred topics

0