ASCIT / donut

Related projects: ⓘ

• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆240Updated 4 months ago
• edfan / firehose
  A class-picking website for MIT students.
  ☆35Updated last year
• 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 6 years ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 8 months ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆162Updated this week
• wgxli / complex-function-plotter
  WebGL Complex Function Plotter
  ☆48Updated 8 months ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆557Updated 4 years ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆191Updated last week
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆246Updated last week
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆228Updated last year
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆607Updated last week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆100Updated 3 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆170Updated 7 months ago
• chezbgone / dotfiles
  ☆8Updated last month
• PuzzleTechHub / nutrimatic
  The source behind nutrimatic.org.
  ☆77Updated last month
• adamyedidia / parsimony
  ☆332Updated 6 years ago
• leanprover-community / NNG4
  Natural Number Game
  ☆101Updated 3 weeks 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.
  ☆288Updated 6 months ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆275Updated 11 months ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆322Updated 4 months ago
• superpermutators / superperm
  ☆125Updated last year
• ccz181078 / Coq-BB5
  ☆151Updated 2 weeks ago
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,118Updated 8 months ago
• formalabstracts / formalabstracts
  ☆158Updated 4 years ago
• kasperpeulen / euclidthegame
  A geometry game based on Euclid's Elements.
  ☆447Updated 3 years ago
• vEnhance / von
  Olympiad problem database
  ☆43Updated 2 months ago
• rspeer / solvertools
  Mystery Hunt solving tools for Metropolitan Rage Warehouse. Or anyone really.
  ☆32Updated 2 months ago
• ekzhang / setwithfriends
  🎮 A frictionless multiplayer web app that lets you play Set with friends
  ☆554Updated last month
• lollobaldo / Inf2D-cw1--autotester
  ☆24Updated 2 years ago
• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated last year