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:
- Grammatical Framework's Resource Grammar Library (RGL)☆58Updated 2 months ago
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- A comprehensive graph of mathematical domains and topics☆22Updated 3 years ago
- A semantic Extension of TeX/LaTeX☆53Updated last week
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- pyWebTool supports Literate Programming by trying to work with ANY markup language and any programming language☆35Updated 2 months ago
- Tim Button's open textbook on set theory☆39Updated last month
- DeepAlgebra☆25Updated 7 years ago
- A language evolution simulator, using realistic phonetic changes.☆38Updated 2 years ago
- Combine two wikipedia pages to make new facts. Tweets @brand_new_facts☆18Updated 6 years ago
- Grammatical Framework core: compiler, shell & runtimes☆142Updated last week
- Sending the lambda calculus into deep space☆151Updated 3 years ago
- ever wanted to change water into wine? better: now you can change prose into poetry☆15Updated 9 years 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…☆22Updated last week
- Metalanguage analysis☆11Updated 6 years ago
- International Phonetic Alphabet (IPA) Unicode Chart and Character Picker☆134Updated 4 years ago
- ☆14Updated 4 years ago
- Tools for the grammar and writing system of the Ithkuil constructed language☆27Updated last year
- Metamath verifier in Python☆40Updated 2 months ago
- P.D. Magnus' forallx logic textbook☆67Updated 4 months ago
- An LL parser for extracting information from Wiki text, particularly Wiktionary.☆49Updated last year
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated 11 months ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆44Updated last year
- SCIENTIfic coLLaborative Archive☆11Updated 10 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- MathWebSearch Implementation☆48Updated 2 years ago
- A command-line tool for interacting with books in git☆111Updated 11 months ago
- Multiroom meeting app integrating web tools☆48Updated last year
- Philosophy diagrams in Ti𝑘Z☆37Updated 4 years ago
- Haskell bindings to SymEngine☆27Updated last year