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 9 months ago
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆255Updated 5 months ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,579Updated 2 weeks ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆688Updated 4 months ago
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,160Updated 6 months ago
• cjquines / qboard
  The efficient digital whiteboard.
  ☆84Updated 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.
  ☆299Updated last year
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated last year
• gillescastel / inkscape-figures
  Inkscape figure manager
  ☆617Updated 3 years ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆665Updated last week
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• gillescastel / university-setup
  My note taking setup scripts.
  ☆429Updated 3 years ago
• edfan / firehose
  A class-picking website for MIT students.
  ☆36Updated 7 months ago
• mlochbaum / BQN
  An APL-like programming language
  ☆995Updated last week
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆300Updated 3 weeks ago
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆520Updated last year
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,191Updated last month
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆356Updated 3 years ago
• gillescastel / inkscape-shortcut-manager
  Inkscape shorcut manager
  ☆402Updated 3 years ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆393Updated this week
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,451Updated 2 weeks ago
• tecosaur / BMC
  My bespoke, multipurpose class; designed for general use in LaTeX documents.
  ☆244Updated 2 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆224Updated 7 months ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆432Updated last year
• ccz181078 / Coq-BB5
  ☆328Updated 5 months ago
• timjb / uni-spicker
  Summaries of my university courses (in German)
  ☆26Updated 5 years ago
• leanprover-community / NNG4
  Natural Number Game
  ☆208Updated this week
• LeoColomb / perfectmotherfuckingwebsite
  🖕 And it’s really more fucking perfect than the last guy’s.
  ☆274Updated 11 months ago
• HackerPoet / Conics
  An interactive conic visualization app used to record this video.
  ☆185Updated 5 years ago