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:
- DeepAlgebra☆25Updated 7 years ago
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆57Updated this week
- Metamath verifier in Python☆40Updated 2 months ago
- A semantic Extension of TeX/LaTeX☆54Updated 3 weeks ago
- A comprehensive graph of mathematical domains and topics☆22Updated 3 years ago
- Slides for an introductory talk about Haskell (in German)☆11Updated 5 years ago
- Tools for the grammar and writing system of the Ithkuil constructed language☆27Updated last year
- Haskell bindings to SymEngine☆27Updated 2 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- The Average Novel☆10Updated 7 years ago
- ☆14Updated 4 years ago
- ever wanted to change water into wine? better: now you can change prose into poetry☆15Updated 9 years ago
- Combine two wikipedia pages to make new facts. Tweets @brand_new_facts☆18Updated 6 years ago
- things that don't deserve their own repo☆64Updated 2 months ago
- ☆23Updated 3 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆130Updated 11 years ago
- Sending the lambda calculus into deep space☆151Updated 3 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…☆21Updated 3 weeks ago
- Community contributions to the Grammatical Framework☆60Updated last year
- P.D. Magnus' forallx logic textbook☆67Updated 5 months ago
- A python library to deal with scientific papers.☆17Updated 9 years ago
- A program with no practical utility☆23Updated 9 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆27Updated last year
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆17Updated 7 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- An endless version of Erik Satie's Gnossiennes No. 1☆98Updated 2 years ago
- MathWebSearch Implementation☆48Updated 2 years ago