Popular repositories Loading

1. component-library component-library Public

   Forked from claimed-framework/claimed

   The goal of CLAIMED is to enable low-code/no-code rapid prototyping style programming to seamlessly CI/CD into production.

   Jupyter Notebook

2. vit-mae vit-mae Public

   Forked from facebookresearch/mae

   PyTorch implementation of MAE https//arxiv.org/abs/2111.06377

   Python 1

3. RungeKuttaLean RungeKuttaLean Public

   A complete formal verification of Butcher's Theorem for Runge-Kutta methods in Lean 4. This project formalizes B-series, rooted trees, and proves that the algebraic conditions B(p), C(η) , and D(ζ)…

   Lean

4. InvariantRiskProjectRepository InvariantRiskProjectRepository Public

   Forked from JorisMatteo/InvariantRiskProjectRepository

   Jupyter Notebook

5. STA314-Project STA314-Project Public

   Forked from Ancientrains/STA314-Project