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:
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- DeepAlgebra☆25Updated 7 years ago
- A semantic Extension of TeX/LaTeX☆54Updated 2 weeks ago
- Metamath verifier in Python☆40Updated 4 months ago
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆59Updated this week
- Tools for the grammar and writing system of the Ithkuil constructed language☆27Updated 2 years ago
- An LL parser for extracting information from Wiki text, particularly Wiktionary.☆49Updated 2 years ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- A comprehensive graph of mathematical domains and topics☆22Updated 3 years ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆22Updated 2 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 2 months ago
- Combine two wikipedia pages to make new facts. Tweets @brand_new_facts☆18Updated 7 years ago
- ☆23Updated 3 years ago
- things that don't deserve their own repo☆64Updated 3 months ago
- Javascript implementation of Fractran☆14Updated 8 years ago
- MiniZinc documentation☆16Updated 2 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated last month
- Tim Button's open textbook on set theory☆39Updated 3 months ago
- Sending the lambda calculus into deep space☆151Updated 3 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 6 months ago
- Riemann Hypothesis book☆75Updated 7 years ago
- Let's translate works of Grothendieck☆29Updated 6 years ago
- Grammatical Framework core: compiler, shell & runtimes☆142Updated 3 weeks ago
- A DSL for the internal language of a topos☆66Updated 2 months ago
- ☆14Updated 4 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated 2 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago