Alternatives and similar repositories for uqplanner

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

• katrinafyi / uqtp
  Timetable planner for UQ courses, written in Typescript with React.
  ☆14Updated 2 years ago
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated last year
• katrinafyi / how-behind
  How behind am I? Keeping track of missed Zoom lectures since 2020.
  ☆10Updated 6 months ago
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆249Updated 2 months ago
• sipb / courseroad2
  A 4-year academic planner for the MIT community.
  ☆23Updated 4 months ago
• jopetty / lecture-notes
  A compilation of lecture notes
  ☆15Updated 6 years ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆83Updated 2 years ago
• topaz / aoc2019-intcode
  Intcode compiler and samples from Advent of Code 2019
  ☆108Updated 4 years ago
• gotyoke / Factorio-AnyPct-TAS
  Factorio any% tool-assisted speed-run
  ☆32Updated 5 years ago
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆69Updated last year
• SpectralSequences / latex
  Latex package to print spectral sequence diagrams using pgf/tikz.
  ☆11Updated 2 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆112Updated 11 months ago
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆28Updated last week
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆75Updated last year
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆372Updated this week
• LogicalAtomist / principia
  The Principia Rewrite
  ☆223Updated 4 months ago
• HaoZeke / hugo-theme-hello-friend-ng-hz
  Batteries included theme for Hugo that covers all of the essentials. All you have to do is start typing!
  ☆19Updated 3 weeks ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• felko / neuron-mode
  An emacs mode for editing Zettelkasten notes with neuron
  ☆118Updated 2 years ago
• richyliu / greggdict
  Gregg Shorthand Dictionary
  ☆62Updated last year
• 2pi / karnaugh-map
  LaTeX package for drawing karnaugh maps with up to 6 variables
  ☆57Updated 2 months ago
• SidharthArya / comp-ide.el
  A simple competitive programming IDE
  ☆16Updated 3 years ago
• TricksterGuy / complx
  Extensible LC-3 Simulator (GUI and CLI), Assembler, and Autograder/Test Framework written in C++. Mainly used in CS2110 at Georgia Tech
  ☆66Updated 2 years ago
• vmchale / pybqn
  BQN↔NumPy bridge
  ☆21Updated 2 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆128Updated last year
• R-O-C-K-E-T / Factorio-SAT
  Enhancing the Factorio experience with SAT solvers
  ☆738Updated 9 months ago
• remimimimimi / org-typst-preview.el
  Preview Typst code blocks in org-mode (not necessarily) buffers.
  ☆66Updated 3 months ago