PinnedLoading

1. DivineManuscriptsDBDivineManuscriptsDBPublic

   This is the database for books from Religion Library

   TypeScript 1 2

2. MinervAIMinervAIPublic

   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 3

3. MammothEdu/MammothEdu.github.ioMammothEdu/MammothEdu.github.ioPublic

   Leveraging generative AI for increased curriculum flexibility in the educational sector

   CSS 1

4. chip-firing-with-leanchip-firing-with-leanPublic

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

   Lean 1