Alternatives and similar repositories for tilings

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

• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆52Updated 2 years ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆13Updated 7 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 3 months ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆14Updated last month
• gheber / kenzo
  A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
  ☆52Updated 4 months ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 11 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆29Updated last year
• harsman / dyalog-mode
  Emacs major mode for Dyalog APL
  ☆15Updated 2 years ago
• math-comp / real-closed
  Theorems for Real Closed Fields
  ☆13Updated last month
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• lathe / parendown-for-racket
  A weak opening parenthesis for Racket, good for eliminating indentation.
  ☆13Updated 2 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆18Updated 7 years ago
• kentookura / forester.nvim
  Neovim plugin for forester
  ☆16Updated 6 months ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• daly / PDFS
  ☆14Updated last year
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 3 years ago
• chsticksel / smtlib-mode
  An Emacs major mode to edit and run SMTLIB v2 files
  ☆9Updated 9 years ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated 11 months ago
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆25Updated 7 months ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago