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
- unsw comp3331 all full mark☆10Updated 5 years ago
- Boolean satisfiability for propositional logic in Python☆14Updated 4 months ago
- ☆21Updated 6 years ago
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- ☆173Updated 4 years ago
- A collection of bioinformatics algorithms☆12Updated 3 years ago
- *Unofficial* mirror of https://bitbucket.org/MDukhan/yeppp☆40Updated 8 years ago
- Proving Ground: Tools for Automated Mathematics☆205Updated 4 years ago
- Tool to create and edit Pikov pixel art Markov chain animations.☆17Updated 4 years ago
- ☆23Updated 4 years ago
- A simple cross-platform OCaml code editor built for top-level evaluation.☆65Updated 2 years ago
- A scala based DSL and framework for writing and executing bioinformatics pipelines as Directed Acyclic GRaphs☆69Updated 3 years ago
- Solver for higher-order functional programs, used by Stainless☆92Updated 3 months ago
- The Cobalt programming language☆36Updated 4 years ago
- Package pyalgs implements algorithms in Robert Sedgwick's Algorithms using Python☆12Updated 5 years ago
- A fast and modern parser combinator library for Scala☆205Updated this week
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆17Updated 9 years ago
- LL(1) parser combinators in Scala☆61Updated 3 months ago
- the Scala delimited continuations plugin and library☆91Updated 5 years ago
- Visualize statistics from the MOOC "Functional Programming Principles in Scala" using Scala!☆202Updated 11 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆126Updated 2 years ago
- A library for building cross-platform native desktop applications with TypeScript.☆14Updated 6 years ago
- Experimental tensor-typed deep learning☆259Updated 6 years ago
- Web-based IDE for Logic Programming☆25Updated this week
- A PLT Redex implementation of Featherweight Java☆17Updated 13 years ago
- A LaTeX package for proof carrying papers☆24Updated 9 years ago
- A tiny embedded scripting language implemented in Scala.☆25Updated 6 years ago
- formalization of the Dependent Object Types (DOT) calculus☆161Updated 9 years ago