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
Sorting:
- Assignments for CMSC320 during the Spring 2021 Semester☆9Updated 4 years ago
- ☆34Updated 4 years ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆23Updated last week
- ☆17Updated 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 5 years ago
- ☆27Updated 2 years ago
- Data Structures and Algorithms Practice☆14Updated last year
- A Turing complete language 😉☆42Updated 4 years ago
- CMSC 430 Design and Implementation of Programming Languages☆50Updated 5 months ago
- A "implementation" of Girard's paradox in OCaml☆108Updated 10 years ago
- The Flambda backend project for OCaml☆143Updated this week
- A bidirectional type checker☆63Updated 7 years ago
- A programming language supporting most of both declarative and imperative programming☆52Updated 3 weeks ago
- A handful of potentially useful crap for Standard ML☆21Updated 7 years ago
- My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell☆36Updated 6 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated last month
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- Benchmarks for capture-avoiding substitution☆113Updated this week
- Instructions for setting up an OCaml development environment☆97Updated 5 years ago
- Course notes for CMSC 131: Object Oriented Programming I☆27Updated last year
- A collection of templates and solutions for Competitive Programming in Haskell☆28Updated 3 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 6 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆117Updated 4 years ago
- Self-contained monadic parser combinators for OCaml☆148Updated last year
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- Refreshed parsec-style library for compatibility with Scala parsley☆19Updated last month
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆147Updated last year
- 😎TT☆226Updated last year
- Spartan type theory☆266Updated 11 months ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆80Updated 3 years ago