8000 zihotki (Vasili Puchko) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View zihotki's full-sized avatar
29 followers · 3 following
  • Infront ASA
  • Amsterdam, Netherlands

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report zihotki

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

Stars

4 stars written in TeX
Clear filter

HoTT / book

A textbook on informal homotopy type theory

TeX 2,080 368 Updated May 19, 2025

patmorin / ods

Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete implementations.

TeX 1,235 247 Updated Feb 2, 2022

Serkov / electric_amulets

Книга Электрообереги

TeX 188 9 Updated Jun 12, 2023

cbx33 / gitt

Git In the Trenches

TeX 177 31 Updated Oct 1, 2015
0