Skip to content
View phillbush's full-sized avatar
🎷
WE'RE BACK!
🎷
WE'RE BACK!
207 followers · 110 following

Achievements

Achievement: Pull SharkAchievement: Starstruckx2

Achievements

Achievement: Pull SharkAchievement: Starstruckx2

Block or report phillbush

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Starred repositories

4 stars written in TeX
Clear filter

hmemcpy / milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

TeX 11,190 600 Updated Mar 27, 2025

HoTT / book

A textbook on informal homotopy type theory

TeX 2,066 364 Updated Mar 5, 2025

jrincayc / r7rs-pico-spec

Pico version of revised⁷ report on the algorithmic language scheme

TeX 31 1 Updated Jan 12, 2025

arnoldrobbins / awk-sys-prog

"Awk As A Major Systems Programming Language" Revisited

TeX 17 2 Updated Jun 20, 2024

Starred topics

4 stars written in TeX