WillCS / uqplanner

Related projects ⓘ

Alternatives and complementary repositories for uqplanner

• katrinafyi / how-behind
  How behind am I? Keeping track of missed Zoom lectures since 2020.
  ☆10Updated this week
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated 9 months ago
• katrinafyi / uqtp
  Timetable planner for UQ courses, written in Typescript with React.
  ☆14Updated last year
• UQComputingSociety / uqcsbot-slack
  UQCSbot: our friendly little Slack bot
  ☆55Updated last year
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆21Updated 6 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆113Updated 2 years ago
• org-roam / org-roam-bibtex
  Org Roam integration with bibliography management software
  ☆575Updated 8 months 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.
  ☆292Updated 8 months ago
• emacs-citar / citar
  Emacs package to quickly find and act on bibliographic references, and edit org, markdown, and latex academic documents.
  ☆518Updated last week
• sunnyhasija / Academic-Doom-Emacs-Config
  My doom emacs configuration files
  ☆300Updated 2 years ago
• io12 / org-fragtog
  Automatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them
  ☆404Updated last year
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆272Updated 4 months ago
• jethrokuan / braindump
  knowledge repository managed with org-mode and org-roam.
  ☆382Updated last year
• Chobbes / org-chef
  A package for making a cookbook and managing recipes with org-mode.
  ☆335Updated 11 months ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆69Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆243Updated this week
• nobiot / md-roam
  Use Org-roam with markdown files by adding Md-roam as a plug-in. Mix org and markdown files in a single Org-roam database.
  ☆336Updated 7 months ago
• nobiot / org-transclusion
  Emacs package to enable transclusion with Org Mode
  ☆943Updated 2 months ago
• vedang / pdf-tools
  Emacs support library for PDF files.
  ☆641Updated 4 months ago
• pnotequalnp / valid-reasons-to-use-java
  Exhaustive list
  ☆19Updated 4 years ago
• lepisma / org-books
  Reading list management with org mode
  ☆291Updated 3 years ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆75Updated last year
• rougier / notebook-mode
  GNU Emacs notebook mode
  ☆617Updated last year
• Mstrodl / elcord
  Discord Rich Presence / Gamebridge support for Emacs!
  ☆195Updated 2 months ago
• bottom-software-foundation / bottom-rs
  🥺
  ☆393Updated 2 years ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆79Updated last year
• EFLS / zetteldeft
  A Zettelkasten system! Or rather, some functions on top of the emacs deft package.
  ☆393Updated last year
• teesloane / firn
  Org Mode Static Site Generator
  ☆324Updated 2 years ago
• l3kn / org-fc
  Spaced Repetition System for Emacs org-mode
  ☆269Updated 5 months ago
• tecosaur / emacs-config
  My configuration for Doom Emacs. Mirror of https://git.tecosaur.net/tec/emacs-config.
  ☆1,040Updated 2 months ago