rchurchley / erdos-bacon-sabbathLinks
An open-source celebration of creative academics & academic creatives
☆13Updated 7 years ago
Alternatives and similar repositories for erdos-bacon-sabbath
Users that are interested in erdos-bacon-sabbath are comparing it to the libraries listed below
Sorting:
- A comprehensive graph of mathematical domains and topics☆22Updated 3 years ago
- Tools for the grammar and writing system of the Ithkuil constructed language☆27Updated 2 years ago
- A semantic Extension of TeX/LaTeX☆54Updated 2 weeks ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- P.D. Magnus' forallx logic textbook☆68Updated 7 months ago
- pyWebTool supports Literate Programming by trying to work with ANY markup language and any programming language☆36Updated 2 months ago
- Metamath verifier in Python☆39Updated 4 months ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆48Updated last month
- A language evolution simulator, using realistic phonetic changes.☆38Updated 2 years ago
- MiniZinc documentation☆16Updated 2 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated 2 years ago
- Philosophy diagrams in Ti𝑘Z☆37Updated 4 years ago
- please use https://forums.matthewbutterick.com/c/typesetting/ instead☆52Updated 3 years ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- Sending the lambda calculus into deep space☆150Updated 3 years ago
- Repository for the W3C "Math on the Web" Community Group☆19Updated 4 years ago
- Tim Button's open textbook on set theory☆39Updated 4 months ago
- Grammatical Framework's Resource Grammar Library (RGL)☆59Updated this week
- A Scheduling Problem in Prolog☆12Updated 9 years ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆22Updated 2 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 11 months ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated 2 months ago
- things that don't deserve their own repo☆63Updated 4 months ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆27Updated last year
- Compiler for MFM programming language☆25Updated 4 months ago
- YAP Development release☆16Updated 4 years ago
- An LL parser for extracting information from Wiki text, particularly Wiktionary.☆49Updated 2 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- provide a syntax to use amsthm environments in pandoc, with output in LaTeX and HTML☆22Updated 3 years ago
- Self-contained, one-step literate markdown.☆26Updated 2 years ago