umddb / cmsc424-fall2021Links
☆9Updated 2 years ago
Alternatives and similar repositories for cmsc424-fall2021
Users that are interested in cmsc424-fall2021 are comparing it to the libraries listed below
Sorting:
- Assignments for CMSC320 during the Spring 2021 Semester☆9Updated 4 years ago
- ☆34Updated 4 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
- ☆17Updated last year
- Data Structures and Algorithms Practice☆14Updated 2 years ago
- A handful of potentially useful crap for Standard ML☆21Updated 7 years ago
- A talk on parametricity☆36Updated 2 years ago
- Solutions for Okasaki's "Purely functional data structures" book☆45Updated 11 years ago
- Dependent Object Types (DOT), bottom up☆87Updated 3 years ago
- Smash products, Wedge products, and other Pointed stuff☆35Updated 3 years ago
- ☆15Updated 9 years ago
- Elements of Group Theory☆16Updated 4 years ago
- Script to easily submit your body temperature to NUS's temperature declaration system☆17Updated 3 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 5 years ago
- ☆170Updated 4 years ago
- Lambda calculus parser in Haskell☆14Updated 8 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 3 months ago
- Efficient and single-steppable ULC evaluation algorithm☆15Updated 4 years ago
- ☆69Updated last month
- GAPT: General Architecture for Proof Theory☆101Updated this week
- deployment for smlhelp page☆41Updated last month
- ICFP 2020 papers. Crowd-sourced☆91Updated 5 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆82Updated 3 years ago
- Deep learning via category theory and functional programming☆146Updated 5 years ago
- My Agda experiments☆12Updated 5 years ago
- A Turing complete language 😉☆42Updated 4 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …☆33Updated 10 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆207Updated last year