WillCS / uqplannerLinks
A successor to the much revered and sorely missed UQ Timetable Planner
β30Updated 4 months ago
Alternatives and similar repositories for uqplanner
Users that are interested in uqplanner are comparing it to the libraries listed below
Sorting:
- How behind am I? Keeping track of missed Zoom lectures since 2020.β10Updated 10 months ago
- π ζ©εδΉι. The road to nutrition and health.β10Updated last year
- A LaTeX Typesetting Gameβ256Updated 6 months ago
- Timetable planner for UQ courses, written in Typescript with React.β14Updated 2 years ago
- A sudoku game where you have to prove that your deductions are validβ116Updated 3 years ago
- Resources for the UQCS competitive programming groupβ20Updated 3 weeks ago
- Olympiad GeoGuessrβ17Updated 6 months ago
- π get to know me through my personal website!β10Updated 2 months ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.β300Updated last year
- LaTeX package for drawing karnaugh maps with up to 6 variablesβ58Updated 6 months ago
- A formal logic framework that runs in the browserβ303Updated 9 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theoremβ715Updated last week
- Olympiad problem databaseβ53Updated last week
- My note taking setup scripts.β436Updated 3 years ago
- Source files for https://web.evanchen.ccβ58Updated this week
- β344Updated 3 weeks ago
- An Infinitely Large Napkinβ1,702Updated last week
- Lean Library currently studying for a degree at Imperial Collegeβ228Updated 7 months ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" courseβ160Updated last year
- A semester planner for students at The University of Melbourne.β29Updated 2 years ago
- The Principia Rewriteβ227Updated 8 months ago
- A compilation of lecture notesβ16Updated 6 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTTβ129Updated last month
- An interactive conic visualization app used to record this video.β185Updated 5 years ago
- Natural Number Gameβ227Updated 2 weeks ago
- A collection of tools for writing technical documents that mix Coq code and prose.β274Updated 3 weeks ago
- A list of Hanabi strategiesβ174Updated 2 weeks ago
- The source behind nutrimatic.org.β88Updated 3 months ago
- Haskell library for building declarative animations based on SVG graphicsβ1,161Updated 8 months ago
- A gamification of the theorems in MATH40002 Analysis 1β82Updated 2 years ago