rchurchley / erdos-bacon-sabbathLinks
An open-source celebration of creative academics & academic creatives
☆14Updated 8 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 4 years ago
- DeepAlgebra☆25Updated 8 years ago
- Sending the lambda calculus into deep space☆151Updated 3 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- A semantic Extension of TeX/LaTeX☆55Updated last week
- A comprehensive graph of mathematical domains and topics☆22Updated 4 years ago
- Metamath verifier in Python☆40Updated 7 months ago
- Random fun with statistical language models.☆63Updated 6 years ago
- Repository for the W3C "Math on the Web" Community Group☆19Updated 4 years ago
- 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
- Compiler for MFM programming language☆25Updated 6 months ago
- P.D. Magnus' forallx logic textbook☆69Updated 9 months ago
- A language evolution simulator, using realistic phonetic changes.☆40Updated 2 years ago
- Riemann Hypothesis book☆74Updated 8 years ago
- Problem rendering engine for WeBWorK☆47Updated this week
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- Combine two wikipedia pages to make new facts. Tweets @brand_new_facts☆18Updated 7 years ago
- Self-contained, one-step literate markdown.☆26Updated 2 years ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- Generates map in form of a graph from tags on StackExchange sites, e.g. StackOverflow.☆54Updated 11 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated 2 years ago
- The World Atlas Of Language Structures Online☆131Updated this week
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago
- AI course project template, inspired by Terry Winograd's classic Shrdlu system☆40Updated 7 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆61Updated last week
- Philosophy diagrams in Ti𝑘Z☆37Updated 4 years ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆22Updated last month
- things that don't deserve their own repo☆63Updated 7 months ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 7 years ago