cmsc320 / spring2021Links
Assignments for CMSC320 during the Spring 2021 Semester
☆9Updated 4 years ago
Alternatives and similar repositories for spring2021
Users that are interested in spring2021 are comparing it to the libraries listed below
Sorting:
- ☆34Updated 4 years ago
- ☆9Updated 2 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 5 years ago
- Advent of Code 2019 solutions☆43Updated 3 years ago
- Church encodings written in Haskell☆25Updated 5 years ago
- agda-mode on Atom☆58Updated 4 years ago
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- ☆15Updated 5 years ago
- A walkthrough of personal-finance issues for young people with tech careers, complete with clearly-marked referral promotion opportunitie…☆95Updated 4 years ago
- Solutions for Okasaki's "Purely functional data structures" book☆45Updated 11 years ago
- University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package☆75Updated 7 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆154Updated last month
- backend of Guabao☆12Updated 9 months ago
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆54Updated 6 years ago
- a library for parallel programming☆94Updated last week
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- Maintenance of the pointfree Hackage package.☆146Updated 7 months ago
- It's a poorly named metamath verifier☆108Updated 4 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆117Updated 4 years ago
- NullPointerExceptions in Haskell☆58Updated 7 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆296Updated last year
- Notes for first year Computing at Imperial College London☆50Updated 3 years ago
- Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages☆37Updated 3 years ago
- A talk on parametricity☆36Updated last year
- ☆17Updated last year
- A wiki for collaborative work on totally legitimate "category theory"☆112Updated 11 months ago
- Free ideas, worth every penny☆32Updated 4 years ago
- Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.☆49Updated 7 years ago
- CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course☆28Updated 3 years ago
- A simple combinator library☆29Updated 6 years ago