Alternatives and similar repositories for donut:

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

• calebsander / kenken-maker
  Generates KenKen® puzzles
  ☆10Updated 6 years ago
• robertvunabandi / guide-on-mitopenid
  How to set up OAuth 2.0 from MIT OpenID using Passport.js and selected guides on understanding OAuth 2.0.
  ☆12Updated 7 years ago
• matthewcn56 / how-many-bobas-could-matt-have-bought-with-the-money-he-spent-on-domains
  a look into matt wang's intriguing monetary ventures
  ☆10Updated 3 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated 3 weeks ago
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆85Updated last year
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆309Updated last year
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆188Updated last year
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆17Updated last week
• illinois / queue
  A microservice queue for holding open office hours
  ☆82Updated last week
• lucidBrot / algolab-tutorial
  How to use boost, CGAL, and ideas for solving the Algolab lecture exercises
  ☆18Updated last year
• vEnhance / von
  Olympiad problem database
  ☆48Updated last month
• edfan / firehose
  A class-picking website for MIT students.
  ☆35Updated 3 weeks ago
• mattxwang / robotics-club-website
  The UCC Robotics Website
  ☆9Updated 8 years ago
• TehFlaminTaco / TacosUserscripts
  A Repository of Userscripts that ATaco Uses on Stack Exchange and Co.
  ☆15Updated 3 weeks ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated 11 months ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆570Updated 4 years ago
• formalabstracts / formalabstracts
  ☆161Updated 5 years ago
• correlation-one / C1GamesStarterKit
  Starter kit for new players of Terminal. Contains starter-algo and a basic CLI for running/debugging algo's locally.
  ☆229Updated last week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆358Updated this week
• superpermutators / superperm
  ☆125Updated last year
• clayton-halim / cs246e-notes
  Object oriented programming notes
  ☆79Updated 2 years ago
• chezbgone / dotfiles
  ☆8Updated 3 months ago
• Dear-Blueno / dearblueno
  🧸💌 The anonymous posting board at Brown
  ☆15Updated 4 months ago
• wizard97 / iSkipper
  Skipping iClicker lectures has never been so easy... obviously not to actually be used in class for nefarious purposes.
  ☆171Updated 3 years ago
• huchenlei / acorn-api-js
  API for user actions on Acorn (University of Toronto student system) in TypeScript
  ☆16Updated 2 years ago
• rspeer / solvertools
  Mystery Hunt solving tools for Metropolitan Rage Warehouse. Or anyone really.
  ☆33Updated last month
• marie-cd / googledoc-puzzle-tools
  Tools for easier group solving of Shinteki/Puzzle Hunt-type puzzles via Googledocs
  ☆14Updated 3 years ago
• MuradAkh / UofTCourseInfo
  Adds tooltips to U of T courses mentioned across the web
  ☆25Updated 4 years ago
• wgxli / complex-function-plotter
  WebGL Complex Function Plotter
  ☆54Updated 4 months ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆386Updated 2 weeks ago