Popular repositories Loading

1. lean_learning lean_learning Public

   Forked from leanprover-community/mathematics_in_lean

   The user home repository for the Mathematics in Lean tutorial.

   HTML

2. lean_buzzard lean_buzzard Public

   Lean example sheets

   Lean

3. micrograd-from-scratch micrograd-from-scratch Public

   Reverse-mode autodiff engines built from scratch in Python - scalar and NumPy-backed tensor, with an optimiser suite and activation-architecture experiments.

   Python

4. lambda_adic_slice lambda_adic_slice Public

   Statement-level Lean 4 formalisation of compatible families of λ-adic Galois representations and the companion-existence slice of Lafforgue's theorem, with an audit record.

   Lean

5. makemore-from-scratch makemore-from-scratch Public

   Character-level language models from scratch in PyTorch - bigram and MLP, with an MLP hyperparameter study

   Jupyter Notebook

6. garmin-mcp-public garmin-mcp-public Public

   Connecting Claude to Garmin watch to read fitness data.

   Python