Alternatives and similar repositories for onze

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

• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 3 months ago
• ccz181078 / Coq-BB5
  ☆319Updated 3 months ago
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• kspalaiologos / malbolge-lisp
  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
  ☆514Updated last week
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 3 months ago
• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 3 years ago
• The-EPL-Type-Foundry / Hundar
  This is the project repository for Hundar, a typeface for books and articles, with a focus on scientific writing.
  ☆250Updated last month
• nostalgebraist / nostalgebraist-autoresponder
  Code for the tumblr bot nostalgebraist-autoresponder.
  ☆73Updated 2 years ago
• theinternetftw / xkcd2601
  Transcription of xkcd 2601 to runnable logo code
  ☆121Updated 3 years ago
• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated 2 years ago
• vEnhance / otis-web
  OTIS course management system
  ☆40Updated last week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆510Updated last week
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,549Updated last week
• 2swap / swaptube
  youtube video renderer
  ☆300Updated this week
• edfan / firehose
  A class-picking website for MIT students.
  ☆36Updated 6 months ago
• erich-friedman / erich-friedman.github.io
  ☆53Updated last week
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆288Updated this week
• gillescastel / masterthesis
  Master Thesis
  ☆201Updated 3 years ago
• jeroenheijmans / advent-of-code-charts
  Inject charts in your private leaderboard page for Advent of Code
  ☆137Updated 7 months ago
• jProgr / TokiPonaDictionary
  A Toki Pona - English dictionary with search function
  ☆49Updated 3 years ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆292Updated this week
• gwern / gwern.net
  Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode,…
  ☆701Updated last week
• superpermutators / superperm
  ☆126Updated last year
• TodePond / HeyTodePondWhatIsThePointOfThisRepo
  i loaded it up and its a blank screen its not working please fix it
  ☆9Updated last year
• leanprover-community / NNG4
  Natural Number Game
  ☆192Updated last week
• nohtyprm / MrPython
  A simplified programming environment for Python (3.x) - based on IDLE
  ☆28Updated 9 months ago
• dreampulse / computer-modern-web-font
  The Computer Modern LaTeX font for the web
  ☆117Updated 3 years ago
• paralogical / glish
  map all words to single-syllable version
  ☆288Updated 8 months ago
• nyuoss / gradescope-api
  ☆14Updated last month
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆86Updated this week