cmsc320 / spring2021
Assignments for CMSC320 during the Spring 2021 Semester
☆9Updated 3 years ago
Alternatives and similar repositories for spring2021:
Users that are interested in spring2021 are comparing it to the libraries listed below
- ☆34Updated 4 years ago
- ☆9Updated 2 years ago
- Minesweeper writtin in Haskell☆39Updated 10 years ago
- Collection of Java Algorithms☆27Updated 5 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
- ☆15Updated 4 years ago
- Marmoset Improved! Better UI and functionality☆39Updated 11 months ago
- Elsa is a lambda calculus evaluator☆183Updated 7 months ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆152Updated last week
- Programming library for Agda☆125Updated 4 months ago
- Template for quickly and easily combining happy and alex☆48Updated 9 years ago
- Collection of Fall 2022 tech internships!☆17Updated 2 years ago
- A web site for converting haskell code into pointfree haskell code☆162Updated 2 years ago
- The WIP book for CPSC 411☆60Updated this week
- Dependently Typed Lambda Calculus in Haskell☆112Updated 3 years ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆22Updated last month
- ☆17Updated 9 months ago
- Agda bindings to SMT-LIB2 compatible solvers.☆95Updated 3 months ago
- ☆13Updated 8 years ago
- Refreshed parsec-style library for compatibility with Scala parsley☆16Updated 3 weeks ago
- A (formalised) general definition of type theories☆57Updated 3 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆69Updated 9 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 3 years ago
- A compilation of blogs by Waterloo students and alumni☆63Updated 4 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆103Updated 3 years ago
- Type Your Matrices For Great Good☆30Updated 4 years ago
- CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course☆28Updated 3 years ago
- Link to preprints for ICFP'16 and co-located events☆139Updated 8 years ago
- SE 350: Operating Systems☆20Updated last year