Alternatives and similar repositories for uqplanner

Users that are interested in uqplanner are comparing it to the libraries listed below

• 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
  ☆20Updated 4 months ago
• katrinafyi / uqtp
  Timetable planner for UQ courses, written in Typescript with React.
  ☆14Updated 3 years ago
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 10 months ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,803Updated last week
• UQComputingSociety / uqcsbot-slack
  UQCSbot: our friendly little Slack bot
  ☆54Updated 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.
  ☆303Updated last year
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆18Updated last month
• iczelia / malbolge-lisp
  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
  ☆530Updated 6 months ago
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,174Updated last year
• R-O-C-K-E-T / Factorio-SAT
  Enhancing the Factorio experience with SAT solvers
  ☆763Updated last year
• ncatlab / nlab
  Source code for the nLab
  ☆200Updated 10 months ago
• gwern / gwern.net
  Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode,…
  ☆787Updated last week
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• jez / latex-homework-class
  A class for homework assignments written in LaTeX.
  ☆158Updated 4 years ago
• gillescastel / inkscape-shortcut-manager
  Inkscape shorcut manager
  ☆408Updated 4 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆467Updated 4 years ago
• neotenic / protobowl
  real time multiplayer quizbowl
  ☆97Updated 2 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆718Updated 9 months ago
• saladtheory / saladtheory.github.io
  Salad Theory
  ☆144Updated 4 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆806Updated last week
• maebert / prolog_puzzles
  Prolog puzzles for fun and profit (mostly fun)
  ☆81Updated 5 years ago
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated 5 months ago
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆229Updated 2 months ago
• ccz181078 / Coq-BB5
  ☆356Updated 4 months ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆74Updated 2 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆920Updated 9 years ago
• GleasSpty / MATH-104-----Introduction-to-Analysis
  ☆22Updated 8 years ago