Skip to content
View dan-il-ya's full-sized avatar
1 follower · 4 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report dan-il-ya

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

Showing results

winitzki / linear-algebra-book

The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)

TeX 100 15 Updated Mar 21, 2023

leanprover-community / mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

Lean 1,664 295 Updated Jun 28, 2024

Paul566 / coauthorGraph

C++ 3 Updated Feb 2, 2022

k1242 / notes_5sem

Заметки пятого семестра МФТИ (ФОПФ).

Jupyter Notebook 5 2 Updated Feb 9, 2022

3b1b / manim

Animation engine for explanatory math videos

Python 74,673 6,504 Updated Jan 8, 2025

otus-cpp / gtest_worshop

C++ 10 6 Updated Dec 13, 2019

k1242 / notes_3sem

Заметки третьего семестра МФТИ (ФОПФ).

TeX 9 1 Updated Jan 20, 2021