Pinned Loading

1. DivineManuscriptsDB DivineManuscriptsDB Public

   This is the database for books from Religion Library

   TypeScript 1 2

2. MinervAI MinervAI Public

   An AI powered lecture simulator to help professor gain feedback on their lecture notes and lectures through Q&As with a diverse student population

   Jupyter Notebook 4 4

3. MammothEdu/MammothEdu.github.io MammothEdu/MammothEdu.github.io Public

   Leveraging generative AI for increased curriculum flexibility in the educational sector

   CSS 1

4. chip-firing-with-lean chip-firing-with-lean Public

   A formalization of chip-firing games and the Riemann-Roch theorem for graphs using the Lean 4 theorem prover.

   Lean 1