Alternatives and similar repositories for erdos-bacon-sabbath

Users that are interested in erdos-bacon-sabbath are comparing it to the libraries listed below

• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• aparrish / nanogenmo2017
  The Average Novel
  ☆10Updated 7 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆52Updated 2 weeks ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆90Updated 3 years ago
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 5 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 7 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆14Updated last month
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 years ago
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated 2 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated 2 years ago
• vmchale / dickinson
  Text generation language
  ☆34Updated 2 weeks ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated 11 months ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• mouse-reeve / fact-join
  Combine two wikipedia pages to make new facts. Tweets @brand_new_facts
  ☆18Updated 6 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆29Updated last year
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 5 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated last month
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆42Updated this week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆37Updated last year
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆11Updated 7 years ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆26Updated this week
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆23Updated 8 months ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆55Updated 10 years ago