anwarmamat / cmsc330fall20Links
☆34Updated 4 years ago
Alternatives and similar repositories for cmsc330fall20
Users that are interested in cmsc330fall20 are comparing it to the libraries listed below
Sorting:
- ☆17Updated last year
- ☆21Updated 5 years ago
- Boolean satisfiability for propositional logic in Python☆14Updated 2 weeks ago
- First Semester Discrete Mathematics lectures typed in LaTeX in note form for Second Year Trinity College students.☆32Updated 7 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
- The WIP book for CPSC 411☆66Updated 2 months ago
- Olympiad GeoGuessr☆17Updated 5 months ago
- C++ library for semigroups and monoids☆62Updated 2 weeks ago
- Handbook of geometry for competitive programmers☆92Updated 6 years ago
- A collection of books/notes for Math and Algorithm study (files available)☆133Updated 9 months ago
- It's a poorly named metamath verifier☆110Updated 5 years ago
- C++ compile-time Prolog interpreter☆65Updated 11 years ago
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- Program Synthesis Course☆258Updated last year
- An automated theorem prover for first-order logic.☆240Updated 3 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 3 years ago
- NUS Hackers website☆45Updated last week
- A fast and modern parser combinator library for Scala☆197Updated 3 weeks ago
- Homotopy type theory☆14Updated 2 years ago
- ☆233Updated last year
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Updated 4 years ago
- Solver for higher-order functional programs, used by Stainless☆92Updated this week
- Number theory: primes, arithmetic functions, modular computations, special sequences☆155Updated 2 months ago
- ☆171Updated 4 years ago
- A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]☆167Updated last week
- sokoban game solver through Multiple Search Algorithms and Reinforcement Learning (Q-Learning)☆13Updated 7 years ago
- Collection of Java Algorithms☆27Updated 5 years ago
- ☆17Updated 3 years ago
- Repository for the QED interactive text and possible extensions☆104Updated 7 months ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆384Updated this week