UQComputingSociety / cpg
Resources for the UQCS competitive programming group
β20Updated last year
Alternatives and similar repositories for cpg
Users that are interested in cpg are comparing it to the libraries listed below
Sorting:
- π ζ©εδΉι. The road to nutrition and health.β10Updated last year
- Timetable planner for UQ courses, written in Typescript with React.β14Updated 2 years ago
- UQCSbot: Our friendly little Discord botβ20Updated last month
- How behind am I? Keeping track of missed Zoom lectures since 2020.β10Updated 5 months ago
- UQCSbot: our friendly little Slack botβ55Updated last year
- A semester planner for students at The University of Melbourne.β29Updated 2 years ago
- β302Updated last month
- A understandable Haskell tracer.β14Updated 3 years ago
- Repository to store NUS ModReg Vacancy Reports and Demand and Allocation reports for public access.β37Updated 3 months ago
- Tutorial Questions for the Programming II course at Imperial College Londonβ50Updated 2 years ago
- A LaTeX Typesetting Gameβ248Updated last month
- A selection of textbook-like course notes for the Imperial College Computing modules.β77Updated last year
- Learning Rust in 6 weeks with ACM @ UCLA!β10Updated 2 years ago
- A successor to the much revered and sorely missed UQ Timetable Plannerβ26Updated 4 months ago
- Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to thβ¦β20Updated 10 months ago
- Simple interface to see the history of course demand and allocationβ44Updated 4 months ago
- a challenge for Haskell beginnersβ454Updated last year
- Current and past resources for the UNSW courses I have tutored.β22Updated last year
- Visual Studio Code extension for Coqβ380Updated 3 weeks ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.β297Updated last year
- COMP3821: Extended Algorithms and Programming Techniques (UNSW) Study Notesβ16Updated 2 years ago
- a look into matt wang's intriguing monetary venturesβ10Updated 3 years ago
- NUS Canvas file syncβ63Updated last month
- Notes for first year Computing at Imperial College Londonβ50Updated 3 years ago
- GPA++ course stats search engineβ13Updated last year
- cheatsheets made during NUSβ20Updated 8 months ago
- Interactive Coq Proofs in Vimβ291Updated last month
- My notes and solutions to competitive programming problems.β9Updated 3 years ago
- Templates and generic advice for CS310 etc.β38Updated last year
- The UQ Computing Society website.β13Updated this week