UQComputingSociety / cpgLinks
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
- How behind am I? Keeping track of missed Zoom lectures since 2020.β10Updated 6 months ago
- UQCSbot: Our friendly little Discord botβ20Updated last month
- UQCSbot: our friendly little Slack botβ55Updated last year
- Commandline tool for automated downloads of echo360 videos hosted by universityβ300Updated 5 months ago
- A successor to the much revered and sorely missed UQ Timetable Plannerβ26Updated 4 months ago
- A semester planner for students at The University of Melbourne.β29Updated 2 years ago
- Templates and generic advice for CS310 etc.β38Updated last year
- Learning Rust in 6 weeks with ACM @ UCLA!β10Updated 3 years ago
- β13Updated last year
- NOI Reference for RI / SG IOI Teamsβ16Updated 6 years ago
- Haskell library for building declarative animations based on SVG graphicsβ1,157Updated 4 months ago
- a challenge for Haskell beginnersβ454Updated last year
- Haskell MOOC University of Helsinkiβ375Updated 3 weeks ago
- A class-picking website for MIT students.β35Updated 4 months ago
- Visual Studio Code extension for Coqβ388Updated this week
- An open-source, fully-customizable hackathon registration system.β30Updated last month
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.β296Updated last year
- β17Updated 3 years ago
- a look into matt wang's intriguing monetary venturesβ10Updated 3 years ago
- Microsoft Word as a Java "IDE"β61Updated 7 years ago
- Welcome to Better Informatics. The student run website for students in the School of Informatics.β72Updated last week
- Tutorial Questions for the Programming II course at Imperial College Londonβ50Updated 2 years ago
- π± The frontend for Teach LA's online IDE, designed to teach kids how to code!β23Updated 7 months ago
- β8Updated last year
- An API to easily get data from the University of Pittsburghβ114Updated 3 months ago
- Summary notes for my "Parallel Computing" classβ45Updated 5 years ago
- Interactive Coq Proofs in Vimβ292Updated 2 months ago
- C++ Reference Code for Competitive Programmingβ22Updated last year