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
- unsw comp3331 all full mark☆10Updated 5 years ago
- Boolean satisfiability for propositional logic in Python☆14Updated 3 months ago
- ☆21Updated 5 years ago
- Notes for first year Computing at Imperial College London☆54Updated 3 years ago
- Starter kit for new players of Terminal. Contains starter-algo and a basic CLI for running/debugging algo's locally.☆238Updated 3 months ago
- LuminDER is a dating app for NUS students that takes on the familiar interface of LumiNUS and is a wordplay on Tinder.☆10Updated 4 years ago
- An automated theorem prover for first-order logic.☆242Updated 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…☆14Updated 5 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 4 years ago
- The WIP book for CPSC 411☆66Updated 4 months ago
- It's a poorly named metamath verifier☆110Updated 5 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆154Updated last month
- An esoteric programming language based on Rubik's Cubes☆28Updated 7 years ago
- Program Synthesis Course☆265Updated last year
- Tutorial Questions for the Programming II course at Imperial College London☆52Updated 2 years ago
- Code for my blog post "Generating Mazes with Inductive Graphs"☆41Updated 7 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆310Updated last year
- A book about compiling Racket to x86-64 assembly☆21Updated 8 years ago
- Lean Library currently studying for a degree at Imperial College☆229Updated 9 months ago
- A terse declarative logic programming language☆117Updated 5 years ago
- a collection of cellular automata written in Haskell with Diagrams☆188Updated 6 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆301Updated last year
- A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]☆166Updated 2 months ago
- A list of links which I've found useful during my time at UWaterloo studying Software Engineering☆133Updated 2 years ago
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆54Updated 6 years ago
- Elsa is a lambda calculus evaluator☆191Updated last month
- Lecture notes on univalent foundations of mathematics with Agda☆230Updated last week
- A formalization of geometry in Coq based on Tarski's axiom system☆200Updated last week
- Script to easily submit your body temperature to NUS's temperature declaration system☆17Updated 4 years ago