Pinned Repositories
calculator
CS132-F23
CS132-F24
CS320
Course Page for CS320
CS320-Notes
Course Notes for the second half of CAS CS 320: Principles of Programming Languages at BU
CS400-Lib
An Agda Library for the course CAS CS 400 at Boston University
CS491-S24
Material for the course CAS CS 491: Type Theory and Mechanized Reasoning (Spring 2024)
Diane
A Small Elm Prototype for Visualizing the Evaluation of Stack-Oriented Languages
Falsum
A proof of false (a term of type Void) in Idris
VerifiedMonads
Experimenting with verified monads in Agda
nmmull's Repositories
nmmull/CS400-Lib
An Agda Library for the course CAS CS 400 at Boston University
nmmull/CS491-S24
Material for the course CAS CS 491: Type Theory and Mechanized Reasoning (Spring 2024)
nmmull/Falsum
A proof of false (a term of type Void) in Idris
nmmull/CS320
Course Page for CS320
nmmull/Diane
A Small Elm Prototype for Visualizing the Evaluation of Stack-Oriented Languages
nmmull/VerifiedMonads
Experimenting with verified monads in Agda
nmmull/calculator
nmmull/CS132-F23
nmmull/CS132-F24
nmmull/CS320-Notes
Course Notes for the second half of CAS CS 320: Principles of Programming Languages at BU
nmmull/Lambda-Calculus-Lecture
Slides and Notes for a Lecture on the Lambda Calclus
nmmull/mini-gs-grader
A Super Minimal Autograder for Gradescope
nmmull/nmmull
Let's add a README
nmmull/nmmull.github.io
personal site
nmmull/PTS
A formalization of tiered pure type systems in agda
nmmull/sorting-in-idris
internally-verified sorting algorithms implemented in idris
nmmull/uchicago-type-theory-reading-group
Materials from the UChicago Type Theory Reading Group
nmmull/WN-to-SN-Thunkification
nmmull/CS132-Notes
nmmull/CS320-Prototype
A prototype for the organization of assignments and grading
nmmull/ErrorHandling
A small error handling experiment in OCaml
nmmull/HaskAlg
Some proofs in Agda about Functors, Applicatives, Monads, etc.
nmmull/Infinite-Primes
A constructive proof of Euclid's theorem in Agda
nmmull/Overture
A Personal Agda Library