UQComputingSociety / cpg
Resources for the UQCS competitive programming group
☆21Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for cpg
- Timetable planner for UQ courses, written in Typescript with React.☆14Updated last year
- How behind am I? Keeping track of missed Zoom lectures since 2020.☆10Updated last year
- UQCSbot: Our friendly little Discord bot☆20Updated 3 months ago
- A LaTeX Typesetting Game☆241Updated 6 months ago
- A successor to the much revered and sorely missed UQ Timetable Planner☆26Updated 5 months ago
- UQCSbot: our friendly little Slack bot☆55Updated last year
- Haskell library for building declarative animations based on SVG graphics☆1,123Updated 10 months ago
- A bot for the CS@unimelb Discord server.☆11Updated 4 months ago
- ☆16Updated 4 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆40Updated this week
- A class for homework assignments written in LaTeX.☆151Updated 3 years ago
- Merge two PNG images into one utilizing transparency☆156Updated 7 years ago
- Commandline tool for automated downloads of echo360 videos hosted by university☆276Updated last month
- Olympiad problem database☆44Updated last week
- The open-source degree planner for UNSW students. Features an interactive drag-and-drop interface for easy term planning and automatic pr…☆58Updated last week
- An Infinitely Large Napkin☆1,233Updated 2 weeks ago
- LaTeX code for some of my lecture notes☆251Updated 2 years ago
- a GRId LOgic Puzzle Solver library☆69Updated 11 months ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆292Updated 8 months ago
- A understandable Haskell tracer.☆14Updated 2 years ago
- 🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.☆41Updated 2 months ago
- A semester planner for students at The University of Melbourne.☆29Updated last year
- ☆23Updated 7 years ago
- Dashboard for managing puzzles and tracking status during a puzzle hunt☆31Updated 2 months ago
- Interactive Coq Proofs in Vim☆274Updated last month
- Olympiad GeoGuessr☆16Updated 10 months ago
- A formal logic framework that runs in the browser☆272Updated 3 months ago
- Discord bot to fetch UIUC classes.☆19Updated 10 months ago
- Notes for first year Computing at Imperial College London☆49Updated 2 years ago
- 👋 get to know me through my personal website!☆10Updated last year