Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by nmmull
A curated list of projects in awesome lists by nmmull .
https://github.com/nmmull/falsum
A proof of false (a term of type Void) in Idris
Last synced: 12 Nov 2024
https://github.com/nmmull/cs400-lib
An Agda Library for the course CAS CS 400 at Boston University
Last synced: 12 Nov 2024
https://github.com/nmmull/cs491-s24
Material for the course CAS CS 491: Type Theory and Mechanized Reasoning (Spring 2024)
Last synced: 12 Nov 2024
https://github.com/nmmull/diane
A Small Elm Prototype for Visualizing the Evaluation of Stack-Oriented Languages
elm stack-oriented visualization
Last synced: 20 Nov 2024
https://github.com/nmmull/cs320-notes
Course Notes for the second half of CAS CS 320: Principles of Programming Languages at BU
Last synced: 12 Nov 2024
https://github.com/nmmull/haskalg
Some proofs in Agda about Functors, Applicatives, Monads, etc.
Last synced: 12 Nov 2024
https://github.com/nmmull/errorhandling
A small error handling experiment in OCaml
Last synced: 12 Nov 2024
https://github.com/nmmull/pts
A formalization of tiered pure type systems in agda
Last synced: 12 Nov 2024
https://github.com/nmmull/sorting-in-idris
internally-verified sorting algorithms implemented in idris
Last synced: 12 Nov 2024
https://github.com/nmmull/lambda-calculus-lecture
Slides and Notes for a Lecture on the Lambda Calclus
Last synced: 12 Nov 2024
https://github.com/nmmull/verifiedmonads
Experimenting with verified monads in Agda
Last synced: 12 Nov 2024
https://github.com/nmmull/mini-gs-grader
A Super Minimal Autograder for Gradescope
Last synced: 12 Nov 2024
https://github.com/nmmull/infinite-primes
A constructive proof of Euclid's theorem in Agda
Last synced: 12 Nov 2024
https://github.com/nmmull/uchicago-type-theory-reading-group
Materials from the UChicago Type Theory Reading Group
Last synced: 12 Nov 2024
https://github.com/nmmull/cs320-prototype
A prototype for the organization of assignments and grading
Last synced: 12 Nov 2024