UQComputingSociety / cpg
Resources for the UQCS competitive programming group
β20Updated 8 months ago
Alternatives and similar repositories for cpg:
Users that are interested in cpg are comparing it to the libraries listed below
- π ζ©εδΉι. The road to nutrition and health.β10Updated 11 months ago
- 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 2 months ago
- UQCSbot: our friendly little Slack botβ55Updated last year
- A LaTeX Typesetting Gameβ242Updated last week
- Commandline tool for automated downloads of echo360 videos hosted by universityβ286Updated last month
- A understandable Haskell tracer.β14Updated 2 years ago
- A semester planner for students at The University of Melbourne.β29Updated last year
- "Hawkins" is an open-source, competitive Chess AI powered by multiple tree search algorithms.β20Updated 3 years ago
- NOI Reference for RI / SG IOI Teamsβ16Updated 6 years ago
- Notes for first year Computing at Imperial College Londonβ51Updated 2 years ago
- Visual Studio Code extension for Coqβ356Updated this week
- A selection of textbook-like course notes for the Imperial College Computing modules.β70Updated 10 months ago
- Browser extension to enable vim mode in the embedded IDE used in Code Expert.β14Updated last year
- run and encode simple register machine programsβ14Updated 3 years ago
- A library in Elixir to access the reverse-engineered LumiNUS APIβ32Updated 3 years ago
- The open-source degree planner for UNSW students. Features an interactive drag-and-drop interface for easy term planning and automatic prβ¦β59Updated 2 months ago
- Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to thβ¦β19Updated 6 months ago
- Simple interface to see the history of course demand and allocationβ42Updated 2 weeks ago
- Kattis online judge command line toolβ52Updated 4 months ago
- β30Updated last year
- β39Updated 8 months ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.β295Updated 10 months ago
- β9Updated 4 years ago
- Puzzle Scramble Generatorβ14Updated last year
- Olympiad GeoGuessrβ17Updated last year
- NUS Canvas file syncβ63Updated 2 weeks ago
- Automated generation of planar geometry olympiad problemsβ86Updated last year
- Learning Rust in 6 weeks with ACM @ UCLA!β10Updated 2 years ago
- A tutorial for solving the Rubik's Cube with as few moves as possible.β26Updated last year