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
- Assignments for CMSC320 during the Spring 2021 Semester☆9Updated 4 years ago
- ☆9Updated 2 years ago
- concurrency for C++☆161Updated 7 months ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆156Updated last month
- Interactive Theorem Proving based on Inox☆10Updated 6 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 5 years ago
- Notes for first year Computing at Imperial College London☆53Updated 3 years ago
- My solutions to the popular Haskell tutorial☆76Updated 13 years ago
- Code from Learn You A Haskell book: http://learnyouahaskell.com/☆17Updated 12 years ago
- Starter kit for new players of Terminal. Contains starter-algo and a basic CLI for running/debugging algo's locally.☆237Updated this week
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- a collection of cellular automata written in Haskell with Diagrams☆187Updated 6 years ago
- Course notes for selected courses at the University of Waterloo☆18Updated 3 years ago
- Boolean satisfiability for propositional logic in Python☆14Updated 9 years ago
- A compilation of blogs by Waterloo students and alumni☆65Updated 5 years ago
- Object oriented programming notes☆80Updated 2 years ago
- Tutorial on integrating C++ and Haskell☆89Updated 5 years ago
- Coq course at Chalmers CSE☆39Updated 8 years ago
- It's a poorly named metamath verifier☆109Updated 5 years ago
- Battlecode 2020 🍜☆5Updated 4 years ago
- An automated theorem prover for first-order logic.☆240Updated 3 years ago
- A template that meets the requirements of a math work term report for the faculty of math☆30Updated 4 years ago
- Minesweeper writtin in Haskell☆39Updated 11 years ago
- A funny toy programming language project☆29Updated 12 years ago
- Recitation notes for cs3157, the C systems programming course with a narrative☆302Updated 2 years ago
- A Web Browser written with Haskell☆37Updated 4 years ago
- Cracking the Coding Interview 6th Ed. Haskell Solutions☆21Updated 3 years ago
- Implementation of symbolic AI techniques for the board game 'Connect Four'☆10Updated 5 years ago