Popular repositories Loading

1. mulligan mulligan Public

   A stepping debugger for Standard ML (SML)

   Standard ML 30 5

2. 150lectureNotes 150lectureNotes Public

   Forked from jacobneu/150lectureNotes

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

   TeX 10 4

3. deriving-sml deriving-sml Public

   Type-directed derived traits in SML

   Standard ML 9 1

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

   My personal website!

   JavaScript 7

5. ScottyBot ScottyBot Public

   A bot for the Carnegie Mellon University Discord server.

   Python 3 2

6. millet-wasm millet-wasm Public

   Millet (the Standard ML analyzer) compiled to WebAssembly, with a Monaco editor integration: type errors, hover types, go-to-def, and case-arm filling — in the browser.

   Rust 1