Basic building blocks for brute-force and random symbolic regression methods in Mathematica

The agent that grows with you

Server to host lean games.

Lean 4 programming language and theorem prover

Combinatorial game library in Lean 4

The math library of Lean 4

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

LaTeX template for USTC thesis

A comprehensive collection of KAN(Kolmogorov-Arnold Network)-related resources, including libraries, projects, tutorials, papers, and more, for researchers and developers in the Kolmogorov-Arnold N…

Code used in creating YouTube videos

FastKAN: Very Fast Implementation of Kolmogorov-Arnold Networks (KAN)

Graphic notes on Gilbert Strang's "Linear Algebra for Everyone", 线性代数的艺术中文版, 欢迎PR.

Python package for calculating fractional derivatives.