umddb / cmsc424-fall2021
☆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
- ☆34Updated 4 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 3 years ago
- A Turing complete language 😉☆40Updated 4 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆81Updated 3 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated last year
- ☆17Updated 10 months ago
- A simple combinator library☆29Updated 6 years ago
- Standard ML Parser Combinator Library☆15Updated 5 months ago
- Organization and planning for the Initial Types Club☆72Updated 2 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- A "implementation" of Girard's paradox in OCaml☆105Updated 9 years ago
- University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package☆72Updated 7 years ago
- Yet another yet another recursion scheme library in Haskell.☆87Updated this week
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 3 years ago
- Logical relations proof in Agda☆26Updated 9 years ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆49Updated 6 months ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Updated 5 years ago
- Template for quickly and easily combining happy and alex☆48Updated 9 years ago
- Pure memoization combinators for Haskell☆38Updated 9 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- A virtual memory scanner☆10Updated last year
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆42Updated 3 months ago
- ☆18Updated 3 years ago
- experiments with pext/pdep and codebruijn syntax☆17Updated 5 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Updated 3 years ago
- Tiny type-checker with dependent types☆76Updated 11 years ago
- The WIP book for CPSC 411☆63Updated 2 weeks ago
- My Agda experiments☆12Updated 5 years ago