8000 flurrux's list / math · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View flurrux's full-sized avatar
3 followers · 17 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Block or report flurrux

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

math

5 repositories

leanprover / lean4

Lean 4 programming language and theorem prover

Lean 5,862 608 Updated Jun 26, 2025

KaTeX / KaTeX

Fast math typesetting for the web.

JavaScript 19,130 1,224 Updated Jun 22, 2025

enjalot / algovis

collection of projects and links about algorithm visualization

1,701 118 Updated Dec 5, 2022

rossant / awesome-math

A curated list of awesome mathematics resources

Python 9,723 1,007 Updated Apr 3, 2025

evanw / theta

JavaScript 777 38 Updated May 4, 2021
0