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…☆14Updated 5 years ago
- Course notes for selected courses at the University of Waterloo☆18Updated 3 years ago
- Minesweeper writtin in Haskell☆39Updated 11 years ago
- ☆17Updated last year
- Number theory: primes, arithmetic functions, modular computations, special sequences☆156Updated last month
- Church encodings written in Haskell☆25Updated 5 years ago
- Data Structures and Algorithms Practice☆14Updated 2 years ago
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- Material for the course on Programming Languages and Types at University of Marburg☆15Updated 13 years ago
- Lambda calculus parser in Haskell☆14Updated 8 years ago
- Collection of Java Algorithms☆27Updated 5 years ago
- A Monte Carlo monad and transformer for Haskell.☆40Updated 6 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆190Updated 2 months ago
- This library tries to push categorical representations to their limit in Scala. I don’t expect it to be practical.☆11Updated last year
- ☆20Updated 4 years ago
- Proving Ground: Tools for Automated Mathematics☆204Updated 3 years ago
- A tutorial on Parallel and Concurrent Haskell☆219Updated 12 years ago
- Challenges from Category Theory for Programmers☆125Updated 9 months ago
- Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding☆46Updated 9 years ago
- A fast and modern parser combinator library for Scala☆196Updated this week
- Solutions to Paolo Aluffi's "Algebra: Chapter 0".☆57Updated 7 years ago
- A website for softies.☆10Updated 3 years ago
- A pattern for docker + stack + haskell☆11Updated 6 years ago
- Purely Functional, Final Tagless interpreter for the Befunge-93 esolang☆35Updated 7 years ago
- A talk on using recursion schemes in FP.☆218Updated last year
- Expressive deterministic concurrency in Scala☆15Updated 3 years ago
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- Organization and planning for the Initial Types Club☆73Updated 2 years ago