Alternatives and similar repositories for erdos-bacon-sabbath

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

• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 3 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated last month
• christian-oudard / ithkuil
  Tools for the grammar and writing system of the Ithkuil constructed language
  ☆27Updated 2 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆60Updated 2 weeks ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• mekarpeles / math.mx
  A comprehensive graph of mathematical domains and topics
  ☆22Updated 3 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 8 years ago
• andrejbauer / zeroes
  Programs for computing beautiful pictures and animations of zeroes of polynomials.
  ☆14Updated last year
• rspeer / wikiparsec
  An LL parser for extracting information from Wiki text, particularly Wiktionary.
  ☆49Updated 2 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• paulfitz / cosmicos
  Sending the lambda calculus into deep space
  ☆151Updated 3 years ago
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 5 years ago
• mouse-reeve / fact-join
  Combine two wikipedia pages to make new facts. Tweets @brand_new_facts
  ☆18Updated 7 years ago
• brython-dev / brython-in-the-classroom
  ☆14Updated 4 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• fizyk20 / ithkuil
  A set of tools for analysis of texts in the Ithkuil constructed language
  ☆31Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• kai-qu / poemify
  ever wanted to change water into wine? better: now you can change prose into poetry
  ☆16Updated 10 years ago
• mabotkin / complex
  A web application to visualize complex mappings.
  ☆31Updated 9 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 5 months ago
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated 2 years ago
• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆46Updated last year
• enkiv2 / misc
  things that don't deserve their own repo
  ☆63Updated 5 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 8 months ago
• shaunharker / CHomP
  CHomP -- Computation Homology Project software
  ☆49Updated last year
• iblech / vortrag-haskell
  Slides for an introductory talk about Haskell (in German)
  ☆11Updated 5 years ago
• otherjoel / bookcover
  📘⌨️ A Racket #lang and module for making cover PDFs for printed things.
  ☆22Updated 3 weeks ago
• pirindiel / llull
  A program with no practical utility
  ☆23Updated 9 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆49Updated this week
• kdelwat / Onset
  A language evolution simulator, using realistic phonetic changes.
  ☆39Updated 2 years ago