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
- 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
- Notes for first year Computing at Imperial College London☆53Updated 3 years ago
- Here be my collections of cheatsheets I made during my undergraduate studies in NUS.☆108Updated 4 years ago
- Solutions to Paolo Aluffi's "Algebra: Chapter 0".☆57Updated 7 years ago
- Course notes for selected courses at the University of Waterloo☆18Updated 3 years ago
- Lean Library currently studying for a degree at Imperial College☆228Updated 7 months ago
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- Collection of cheatsheets for NUS exams☆90Updated 4 years ago
- Lecture notes on univalent foundations of mathematics with Agda☆230Updated last year
- Script to easily submit your body temperature to NUS's temperature declaration system☆17Updated 4 years ago
- An elegant implementation of discrete diffgeo in haskell☆34Updated 5 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆155Updated this week
- Mathematical Components (the Book)☆147Updated this week
- Theorem proving in Lean☆49Updated 11 months ago
- Perfectoid spaces in the Lean formal theorem prover.☆127Updated last year
- Coq course at Chalmers CSE☆39Updated 8 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆308Updated last year
- 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
- The mathematical study of type theories, in univalent foundations☆117Updated 7 months ago
- Repository for the QED interactive text and possible extensions☆105Updated 8 months ago
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆310Updated last year
- A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]☆167Updated last week
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- Homotopy theory in Coq.☆89Updated 14 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆48Updated 3 years ago
- Olympiad GeoGuessr☆17Updated 6 months ago
- ☆90Updated 5 months ago
- Repository to store NUS ModReg Vacancy Reports and Demand and Allocation reports for public access.☆43Updated last month