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 3 months ago
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated last year
• katrinafyi / uqtp
  Timetable planner for UQ courses, written in Typescript with React.
  ☆14Updated 2 years ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated 2 years ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated 10 months ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆70Updated last year
• 2pi / karnaugh-map
  LaTeX package for drawing karnaugh maps with up to 6 variables
  ☆55Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆244Updated 3 weeks ago
• gillescastel / university-setup
  My note taking setup scripts.
  ☆402Updated 2 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• davidrzs / latexcss
  Nearly Classless CSS file to give html a latex-like look
  ☆163Updated 4 years ago
• ldgrp / uptop
  A terminal client for Up Bank written in Haskell ⚡.
  ☆48Updated last year
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆76Updated last year
• SpectralSequences / latex
  Latex package to print spectral sequence diagrams using pgf/tikz.
  ☆10Updated 2 years ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆249Updated 2 months ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated this week
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆158Updated 11 months ago
• io12 / org-fragtog
  Automatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them
  ☆413Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated 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.
  ☆295Updated 11 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆79Updated this week
• rymaju / FundiesCollab
  Collaborative Real-Time Coding in Java using the Fundies 2 Tester and Image libraries.
  ☆9Updated 3 years ago
• formalabstracts / formalabstracts
  ☆161Updated 5 years ago
• leanprover-community / lean4-mode
  Emacs major mode for Lean 4
  ☆76Updated last month
• jopetty / lecture-notes
  A compilation of lecture notes
  ☆15Updated 5 years ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆65Updated 2 years ago
• remimimimimi / org-typst-preview.el
  Preview Typst code blocks in org-mode (not necessarily) buffers.
  ☆55Updated this week
• rougier / notebook-mode
  GNU Emacs notebook mode
  ☆631Updated last year
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆281Updated 2 months ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆362Updated this week