Popular repositories Loading

1. mulligan mulligan Public

   A stepping debugger for Standard ML (SML)

   Standard ML 27 4

2. 150lectureNotes 150lectureNotes Public

   Forked from jacobneu/150lectureNotes

   LaTeX compilation framework & LaTeX source library for 15-150 M23 lecture slides

   TeX 11 2

3. deriving-sml deriving-sml Public

   Type-directed derived traits in SML

   Standard ML 9

4. brandonspark.github.io brandonspark.github.io Public

   My personal website!

   HTML 7

5. ScottyBot ScottyBot Public

   A bot for the Carnegie Mellon University Discord server.

   Python 3 2

6. Snake-for-ACT-R Snake-for-ACT-R Public

   Python