Pinned Loading

1. LEANForExplainableAI LEANForExplainableAI Public

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

   Lean

2. CayleyGraph CayleyGraph Public

   Working with Cayleypy to learn more about uses of Caleygraphs and their potential in semantic layers in ai, graph data bases, and more

   Jupyter Notebook

3. ComputingWithLinearAlgebra ComputingWithLinearAlgebra Public

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

   Jupyter Notebook

4. GlimpseOfLean GlimpseOfLean Public

   Learning LEAN as a functional language as well as proof checking in mathematics via LEAN.

   Lean

5. ProjectIF ProjectIF Public

   Forked from TERMIN20/ProjectIF

   Updating to SAM3

   Jupyter Notebook

6. Scientific-Computing Scientific-Computing Public

   Work on learning more about scientific computing

   Python