Popular repositories Loading

1. lean4-learning lean4-learning Public

   Lean for Working Algebraists: a Lean 4 introduction for mathematicians, building groups, rings, modules, and quiver path algebras from scratch. Free PDF, no programming background assumed.

   TeX 5

2. python-data-analysis-course python-data-analysis-course Public

   Free browser-based Python and data analysis course (Trinket + JupyterLite, no installs needed)

   TypeScript 1

3. Machine-Learning Machine-Learning Public

   Forked from xbeat/Machine-Learning

   Cross Beat (xbe.at) - Your hub for python, machine learning and AI tutorials. Explore Python tutorials, AI insights, and more.

4. MRC-Network-Analysis MRC-Network-Analysis Public

   Forked from brian-hepler-phd/MRC-Network-Analysis

   Project scripts for network analysis of topics discovered by Math Research Compass

   Python

5. public-tests public-tests Public

6. messenger-local messenger-local Public

   JavaScript