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
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 10 months ago
• katrinafyi / uqtp
  Timetable planner for UQ courses, written in Typescript with React.
  ☆14Updated 3 years ago
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,173Updated 11 months ago
• TartanLlama / vizh
  An esoteric visual language that takes image files as input based on a multi-tape turing machine, designed for compatibility with C.
  ☆233Updated 2 years ago
• topaz / aoc2019-intcode
  Intcode compiler and samples from Advent of Code 2019
  ☆116Updated 5 years ago
• UQComputingSociety / uqcsbot-slack
  UQCSbot: our friendly little Slack bot
  ☆54Updated 2 years ago
• R-O-C-K-E-T / Factorio-SAT
  Enhancing the Factorio experience with SAT solvers
  ☆765Updated last year
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆467Updated 4 years ago
• GleasSpty / MATH-104-----Introduction-to-Analysis
  ☆22Updated 8 years ago
• zhuowei / nft_ptr
  C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain
  ☆2,017Updated 4 years ago
• ccz181078 / Coq-BB5
  ☆355Updated 4 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• 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
• edfan / firehose
  A class-picking website for MIT students.
  ☆36Updated last year
• ekzhang / setwithfriends
  🎮 A frictionless multiplayer web app that lets you play Set with friends
  ☆610Updated 11 months ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆323Updated last year
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,799Updated 2 weeks ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆714Updated 9 months ago
• elliotwaite / rule-30-and-game-of-life
  Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.
  ☆165Updated 2 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• bgschiller / latex-therefore
  Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …
  ☆201Updated 9 years ago
• TomWildenhain / pptcc
  ☆479Updated 4 years ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆178Updated this week
• bstnfrmry / hanabi
  Play Hanabi online with friends!
  ☆104Updated 8 months ago
• Hanabi-Live / hanabi-live
  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
  ☆202Updated last week
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆53Updated 2 years ago
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆465Updated 2 years ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆418Updated this week