alexanderwasey / stupid-computer

Related projects: ⓘ

• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆21Updated 4 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆240Updated 4 months ago
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated 7 months ago
• compsoc-edinburgh / betterinformatics
  Welcome to Better Informatics. The student run website for students in the School of Informatics.
  ☆67Updated this week
• bnelo12 / Pig-Latin-Unit-Tester
  ☆8Updated 6 years ago
• katrinafyi / uqtp
  Timetable planner for UQ courses, written in Typescript with React.
  ☆14Updated last year
• jopetty / lecture-notes
  A compilation of lecture notes
  ☆15Updated 5 years ago
• adamyedidia / parsimony
  ☆332Updated 6 years ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆557Updated 4 years ago
• osnr / horrifying-pdf-experiments
  Stuff which works in Chrome and maybe Acrobat and Foxit.
  ☆1,481Updated 3 years ago
• LeifAndersen / PLGradSchools
  ☆219Updated last month
• UQComputingSociety / uqcsbot-discord
  UQCSbot: Our friendly little Discord bot
  ☆20Updated last month
• chezbgone / chez-sty
  ☆13Updated last year
• katrinafyi / how-behind
  How behind am I? Keeping track of missed Zoom lectures since 2020.
  ☆10Updated last year
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆884Updated 7 years ago
• 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 / 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
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆645Updated 7 months ago
• chezbgone / dotfiles
  ☆8Updated last month
• langjam / langjam
  ☆1,019Updated last year
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆448Updated 3 years ago
• neotenic / protobowl
  real time multiplayer quizbowl
  ☆94Updated 8 months ago
• lollobaldo / Inf2D-cw1--autotester
  ☆24Updated 2 years ago
• UQComputingSociety / uqcsbot-slack
  UQCSbot: our friendly little Slack bot
  ☆55Updated 11 months ago
• AdrianDoM / path-test
  Inf2D Assignment 1 Pathfinding algorithms testing framework
  ☆7Updated 5 years ago
• 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 2 months ago
• adtac / relevant-xkcd
  There's always a relevant XKCD.
  ☆121Updated 6 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆290Updated 3 months ago
• TomWildenhain / pptcc
  ☆468Updated 3 years ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆275Updated 11 months ago