Pinned Loading

1. LEANForExplainableAI LEANForExplainableAI Public

   Using LEAN and category theory to track more easily and model Blackbox AI models easier

   Lean

2. ComputingWithLinearAlgebra ComputingWithLinearAlgebra Public

   Exploratory numerical linear algebra and regression notebooks extended into small computational experiments.

   Jupyter Notebook

3. ProjectIF ProjectIF Public

   Forked from TERMIN20/ProjectIF

   Updating to SAM3

   Jupyter Notebook

4. Scientific-Computing Scientific-Computing Public

   Work on learning more about scientific computing

   Python

5. poly-functors poly-functors Public

   Formalizing the Category of Poly in Lean

   Lean 2

6. EE598_Singh EE598_Singh Public

   Lean