Alternatives and similar repositories for uqplanner:

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

• 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 4 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆108Updated 9 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆287Updated 3 months ago
• jethrokuan / braindump
  knowledge repository managed with org-mode and org-roam.
  ☆386Updated 2 years ago
• ldgrp / uptop
  A terminal client for Up Bank written in Haskell ⚡.
  ☆47Updated last year
• rymaju / FundiesCollab
  Collaborative Real-Time Coding in Java using the Fundies 2 Tester and Image libraries.
  ☆9Updated 4 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 11 months ago
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆40Updated 2 months ago
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,143Updated last month
• gwern / gwern.net
  Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode,…
  ☆666Updated this week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆245Updated 2 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆80Updated this week
• james-stoup / emacs-org-mode-tutorial
  A primer for users trying to make sense of Org Mode
  ☆544Updated 2 years ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆70Updated last year
• mstksg / advent-of-code-2021
  🎅🌟❄️☃️🎄🎁
  ☆45Updated 4 months ago
• vlaci / nix-doom-emacs
  doom-emacs packaged for Nix
  ☆231Updated 2 years ago
• gillescastel / university-setup
  My note taking setup scripts.
  ☆405Updated 2 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated 2 weeks ago
• justarandomgeek / FactorioIP
  Packet Based networks for Factorio, with IPv6 support
  ☆52Updated 2 weeks ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated 4 months ago
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆28Updated last week
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆452Updated last year
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆89Updated 3 years ago
• rmehri01 / thock
  ⌨️ A modern TUI typing game featuring online racing against friends.
  ☆93Updated 3 years ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,413Updated this week
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated 2 years ago
• dnadales / nix-latex-template
  Nix configuration for reproducible builds of LaTeX documents
  ☆25Updated 3 years ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆76Updated last year