umddb / cmsc424-fall2021
☆9Updated last year
Related projects ⓘ
Alternatives and complementary repositories for cmsc424-fall2021
- ☆34Updated 3 years ago
- Assignments for CMSC320 during the Spring 2021 Semester☆9Updated 3 years ago
- Supplementary course notes for Dr. Ilchul Yoon & Dr. A.U. Shankar's CMSC216 at the University of Maryland, compiled during my time as a T…☆13Updated 4 years ago
- ☆17Updated 2 years ago
- A Turing complete language 😉☆40Updated 4 years ago
- Data Structures and Algorithms Practice☆13Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆47Updated this week
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- A handful of potentially useful crap for Standard ML☆20Updated 7 years ago
- The WIP book for CPSC 411☆59Updated last month
- My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell☆35Updated 6 years ago
- A command-line tool to generate Latex (inference rules) from inductive coq definitions.☆28Updated 8 years ago
- Solutions for Okasaki's "Purely functional data structures" book☆44Updated 11 years ago
- Course notes for CMSC 451: Design and Analysis of Algorithms☆11Updated 4 years ago
- The Iowa Agda Library☆46Updated 5 months ago
- A proof assistant for refinement logics☆8Updated 6 years ago
- Type Your Matrices For Great Good☆29Updated 4 years ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆22Updated this week
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆16Updated last year
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆22Updated last year
- ☆24Updated 5 months ago
- Coq solutions to exercises in HoTT book☆11Updated 10 years ago
- Yet another concurrent playground☆32Updated 9 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆38Updated 2 years ago
- A Really Cool Calculator written in Haskell... or is it?☆41Updated 3 years ago
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Updated 9 years ago
- Template for quickly and easily combining happy and alex☆49Updated 9 years ago
- Formal semantics in Agda.☆15Updated 9 years ago