anwarmamat / cmsc330
☆17Updated 10 months ago
Alternatives and similar repositories for cmsc330:
Users that are interested in cmsc330 are comparing it to the libraries listed below
- ☆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…☆13Updated 4 years ago
- University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package☆72Updated 7 years ago
- ☆9Updated 2 years ago
- Assignments for CMSC320 during the Spring 2021 Semester☆9Updated 3 years ago
- ☆17Updated 3 years ago
- A collection of bioinformatics algorithms☆12Updated 2 years ago
- Publicly visible materials for UMD course CMSC 330☆16Updated 7 years ago
- Solver for higher-order functional programs, used by Stainless☆89Updated 2 weeks ago
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- ☆22Updated 8 years ago
- LL(1) parser combinators in Scala☆58Updated last week
- Dining hall menu app for Princeton University with 2000+ daily views, over 1 million lifetime views. Built with Flask.☆33Updated 5 months ago
- Bioinformatics pipelines with Haskell and Shake☆55Updated 5 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- 📑A PD2 report template with formatting necessary for students in the course☆19Updated 6 years ago
- Named parameters (keyword arguments) for Haskell☆93Updated 3 months ago
- IntelliJ plugin for several experimental programming languages here☆35Updated 3 years ago
- joke page until I decide what to do with this domain name☆35Updated 7 months ago
- Implementation of the cufp.org website.☆11Updated 7 years ago
- LLVM formulae for the Homebrew package manager☆25Updated 2 years ago
- Watch the best sports stream in HD from the command line☆9Updated 4 years ago
- Tensors in Haskell☆40Updated last month
- Dockerfiles for data science in OCaml on Jupyter☆43Updated 7 years ago
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- VSCode extension for the Arend language☆11Updated 2 years ago
- https://code.google.com/p/graph-theory-algorithms-book/☆20Updated 9 years ago
- ☆28Updated 6 years ago
- ☆17Updated last year