Alternatives and similar repositories for tilings

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

• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 2 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• daly / PDFS
  ☆14Updated 2 years ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated last month
• gap-system / homebrew-gap
  Homebrew tap for GAP
  ☆14Updated last year
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• gheber / kenzo
  A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
  ☆52Updated 4 months ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆13Updated 7 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆32Updated last year
• contextgarden / luametatex
  Temporary/draft repository with luametatex
  ☆36Updated this week
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• anthonyywangmath / tikzsd
  A program for generating LaTeX TikZ code for string diagrams.
  ☆18Updated 4 years ago
• dzaima / BQN386
  ☆16Updated 3 months ago
• kentookura / forester.nvim
  Neovim plugin for forester
  ☆16Updated 7 months ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 4 months ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 7 months ago
• Deducteam / SizeChangeTool
  A termination checker for higher-order rewriting with dependent types
  ☆10Updated 5 years ago
• takikawa / racket-ppa
  Ubuntu PPA for Racket (based on the upstream in Debian at https://salsa.debian.org/bremner/racket). Check the Launchpad page for details …
  ☆10Updated 2 years ago
• loopspace / spath3
  TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.
  ☆21Updated 3 weeks ago
• harsman / dyalog-mode
  Emacs major mode for Dyalog APL
  ☆15Updated 2 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆18Updated 7 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆22Updated 5 years ago
• rfitzp / Elements
  Greek/English version of Euclid's Elements
  ☆46Updated last year
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year