katrinafyi / uqtp

Related projects: ⓘ

• katrinafyi / how-behind
  How behind am I? Keeping track of missed Zoom lectures since 2020.
  ☆10Updated last year
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆21Updated 4 months ago
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated 7 months ago
• UQComputingSociety / uqcsbot-discord
  UQCSbot: Our friendly little Discord bot
  ☆20Updated last month
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆26Updated 3 months ago
• UQComputingSociety / uqcsbot-slack
  UQCSbot: our friendly little Slack bot
  ☆55Updated 11 months ago
• BlackboardFS / bbfs
  A filesystem driver that allows you to view your Blackboard course contents as if they were normal files and folders on your system!
  ☆33Updated 3 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆240Updated 4 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆271Updated this week
• TricksterGuy / complx
  Extensible LC-3 Simulator (GUI and CLI), Assembler, and Autograder/Test Framework written in C++. Mainly used in CS2110 at Georgia Tech
  ☆64Updated last year
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 2 years ago
• betaveros / castlefall
  a party word game with hidden teams for ~six to ten people
  ☆29Updated 7 months ago
• ccz181078 / Coq-BB5
  ☆151Updated 2 weeks ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 8 months ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆51Updated last year
• leanprover-community / NNG4
  Natural Number Game
  ☆101Updated 3 weeks ago
• litiwu / Spring-2021-Notes
  i like taking notes ( "´༥`" )
  ☆8Updated last year
• jopetty / lecture-notes
  A compilation of lecture notes
  ☆15Updated 5 years ago
• mscroggs / realhats
  realhats LaTeX package
  ☆104Updated last year
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆49Updated 2 years ago
• Trontor / lookahead
  A semester planner for students at The University of Melbourne.
  ☆28Updated last year
• coq-community / vscoq
  A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]
  ☆332Updated this week
• wizard97 / iSkipper
  Skipping iClicker lectures has never been so easy... obviously not to actually be used in class for nefarious purposes.
  ☆167Updated 3 years ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆191Updated last week
• edfan / firehose
  A class-picking website for MIT students.
  ☆35Updated last year
• gillescastel / university-setup
  My note taking setup scripts.
  ☆369Updated 2 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆288Updated 6 months ago
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆617Updated last year
• soraxas / echo360
  Commandline tool for automated downloads of echo360 videos hosted by university
  ☆262Updated this week
• Voltara / advent2020-fast
  ☆39Updated 3 months ago