Alternatives and similar repositories for onze

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

• ccz181078 / Coq-BB5
  ☆324Updated 4 months ago
• theinternetftw / xkcd2601
  Transcription of xkcd 2601 to runnable logo code
  ☆121Updated 3 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆256Updated 4 months ago
• aatishb / patterncollider
  A web interactive for generating and exploring quasiperiodic tiling patterns
  ☆288Updated 2 years ago
• jeroenheijmans / advent-of-code-charts
  Inject charts in your private leaderboard page for Advent of Code
  ☆137Updated 8 months ago
• iczelia / malbolge-lisp
  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
  ☆517Updated last week
• erich-friedman / erich-friedman.github.io
  ☆53Updated last month
• twanvl / snake
  Snake playing agents
  ☆79Updated 3 years ago
• lucillablessing / thebestwaytocount
  script, footnotes, and other TeX files for the video essay "the best way to count"
  ☆75Updated last year
• Hypercubers / hypercubing.xyz
  Website for the Hypercubing community
  ☆21Updated this week
• Jana-Marie / pure-chaos
  An accidental collage of an unknown number of images shot at 37c3 in Hamburg.
  ☆17Updated last year
• weiweihuanghuang / Times-New-Bastard
  It's Times New Roman but every seventh letter is jarringly sans serif
  ☆849Updated 5 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.
  ☆252Updated 2 months ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 5 months ago
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• christopher-besch / maki
  Interactive and Programmatic Animation Development; or: How to Time Travel?
  ☆17Updated 3 years ago
• laurajanegraham / surface_area
  ☆146Updated 5 years ago
• mmulet / code-relay
  Source for the Code Relay website. Code Relay The fastest and easiest way to contribute to open source!
  ☆329Updated last year
• JeyRunner / tuda-typst-templates
  Typst Template for the Corporate Design of TU Darmstadt
  ☆28Updated last week
• tromp / ChessPositionRanking
  Software suite for ranking chess positions and accurately estimating the number of legal chess positions
  ☆167Updated last year
• xkcd / alto
  A system for building cloud scale menu systems.
  ☆20Updated 7 years ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆64Updated this week
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆32Updated 2 months ago
• betaveros / noulith
  *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
  ☆1,154Updated last week
• harfbuzz / harfbuzz-wasm-examples
  ☆129Updated 2 weeks ago
• fred-wang / MathFonts
  WOFF/WOFF2 math fonts and sample CSS stylesheets
  ☆92Updated 7 months ago
• m-ender / hexagony
  A two-dimensional, hexagonal programming language.
  ☆569Updated 4 years ago
• psb1558 / Junicode-font
  A new version of Junicode font
  ☆485Updated this week
• LilithWittmann / jugendschutzprogramm
  ☆19Updated last year
• leanprover-community / NNG4
  Natural Number Game
  ☆201Updated this week