Popular repositories Loading

1. ua-2025q1-phys305.github.io ua-2025q1-phys305.github.io Public

   Forked from ua-2025q1-phys305/ua-2025q1-phys305.github.io

   Computational Physics

   1

2. CanonicalLean CanonicalLean Public

   Forked from chasenorman/CanonicalLean

   A Lean tactic for Canonical, a search procedure for terms in dependent type theory.

   Lean

3. equational_theories equational_theories Public

   Forked from teorth/equational_theories

   A project to map out the relations between different equational theories of Magmas.

   Lean

4. rl_for_budget_constrained_recs rl_for_budget_constrained_recs Public

   Forked from Netflix-Skunkworks/rl_for_budget_constrained_recs

   Jupyter Notebook

5. 1806 1806 Public

   Forked from mitmath/1806

   18.06 course at MIT

   Jupyter Notebook

6. freeCodeCamp freeCodeCamp Public

   Forked from freeCodeCamp/freeCodeCamp

   freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.

   TypeScript