UQComputingSociety / cpg

Related projects ⓘ

Alternatives and complementary repositories for cpg

• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated 9 months ago
• katrinafyi / how-behind
  How behind am I? Keeping track of missed Zoom lectures since 2020.
  ☆10Updated this week
• katrinafyi / uqtp
  Timetable planner for UQ courses, written in Typescript with React.
  ☆14Updated last year
• UQComputingSociety / uqcsbot-discord
  UQCSbot: Our friendly little Discord bot
  ☆20Updated this week
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆26Updated 5 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆243Updated this week
• frizensami / nus-timetable-optimizer
  Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to th…
  ☆19Updated 4 months ago
• lunaflight / courserekt
  Simple interface to see the history of course demand and allocation
  ☆38Updated 2 months ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆49Updated 2 years ago
• modtree / modtree
  streamlining the process of degree planning
  ☆7Updated 2 years ago
• Beebeeoii / lominus
  NUS Canvas file sync
  ☆61Updated 3 months ago
• varkor / quiver
  A modern commutative diagram editor for the web.
  ☆2,431Updated last month
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆61Updated 7 months ago
• lordidiot / OpenGovSalary
  ☆12Updated last year
• Trontor / lookahead
  A semester planner for students at The University of Melbourne.
  ☆29Updated last year
• ldgrp / uptop
  A terminal client for Up Bank written in Haskell ⚡.
  ☆47Updated 10 months ago
• R-O-C-K-E-T / Factorio-SAT
  Enhancing the Factorio experience with SAT solvers
  ☆668Updated 2 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆650Updated this week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆350Updated last week
• hackutd / jury
  An all-in-one hackathon judging platform, created with modern technologies aimed at optimizing the user experience of hackers, judges, an…
  ☆3Updated this week
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated last year
• langjam / langjam
  ☆1,017Updated last year
• V-Wong / COMP3821
  COMP3821: Extended Algorithms and Programming Techniques (UNSW) Study Notes
  ☆16Updated last year
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆344Updated this week
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆440Updated last year
• gwern / gwern.net
  Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode,…
  ☆549Updated this week
• MathSocIT / latexcomm
  NUS Mathematics Society's LaTeX committee official repository
  ☆64Updated last month
• Bryce-3D / NUS-ModReg-Reports
  Repository to store NUS ModReg Vacancy Reports and Demand and Allocation reports for public access.
  ☆35Updated 2 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆274Updated 2 months ago
• ccz181078 / Coq-BB5
  ☆157Updated this week