anwarmamat / cmsc330Links
☆17Updated last year
Alternatives and similar repositories for cmsc330
Users that are interested in cmsc330 are comparing it to the libraries listed below
Sorting:
- ☆34Updated 5 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
- ☆21Updated 6 years ago
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- unsw comp3331 all full mark☆10Updated 5 years ago
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Updated 7 years ago
- A collection of bioinformatics algorithms☆12Updated 3 years ago
- Boolean satisfiability for propositional logic in Python☆14Updated 5 months ago
- Solver for higher-order functional programs, used by Stainless☆93Updated 3 weeks ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Updated 6 years ago
- FOundation of stXXl and thriLL☆14Updated 2 years ago
- A Haskell ray tracer largely based on http://www.raytracegroundup.com/☆22Updated 4 months ago
- Package pyalgs implements algorithms in Robert Sedgwick's Algorithms using Python☆12Updated 5 years ago
- A community driven list of useful Scala game libraries, games written in Scala, and related resources☆13Updated 8 years ago
- A fast and modern parser combinator library for Scala☆208Updated 2 weeks ago
- LL(1) parser combinators in Scala☆61Updated 5 months ago
- This is the code repository for the code in "Object-Orientation, Abstraction, and Data Structures Using Scala".☆25Updated 8 years ago
- ☆23Updated 12 years ago
- Tiger Compiler from Modern Compiler Implementation in ML☆23Updated 8 years ago
- Simple Haskell simulation to determine best interval to invest in ETF's☆12Updated 8 years ago
- Higher-order, higher-order automatic differentiation☆30Updated 6 years ago
- A C++11 implementation of Hindley-Milner type inference.☆80Updated 13 years ago
- ☆119Updated last month
- A Scala library for language processing.☆47Updated last year
- Graph Grammar Library☆26Updated 8 years ago
- ☆173Updated 4 years ago
- formalization of the Dependent Object Types (DOT) calculus☆161Updated 9 years ago
- Temporal Pathway Synthesizer☆17Updated last year
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- playground for working with succinct data structures☆97Updated 10 years ago