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
- A semantic Extension of TeX/LaTeX☆54Updated last week
- DeepAlgebra☆25Updated 8 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- A comprehensive graph of mathematical domains and topics☆22Updated 3 years ago
- multilingual dictionary of mathematical terminology☆20Updated last month
- Tools for the grammar and writing system of the Ithkuil constructed language☆27Updated 2 years ago
- Tim Button's open textbook on set theory☆40Updated 4 months ago
- An LL parser for extracting information from Wiki text, particularly Wiktionary.☆49Updated 2 years ago
- Sending the lambda calculus into deep space☆151Updated 3 years ago
- Javascript implementation of Fractran☆14Updated 8 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 3 months ago
- Boilerplate for consistent lecture notes, slides, and assignments using LaTeX beamer and tufte-latex.☆18Updated 8 years ago
- Metamath verifier in Python☆40Updated 5 months ago
- Grammatical Framework's Resource Grammar Library (RGL)☆59Updated this week
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- P.D. Magnus' forallx logic textbook☆68Updated 7 months ago
- ☆23Updated 3 years ago
- Author tools for creating Ximera activities☆43Updated 3 weeks ago
- things that don't deserve their own repo☆63Updated 5 months ago
- A program with no practical utility☆23Updated 9 years ago
- A set of tools for analysis of texts in the Ithkuil constructed language☆31Updated 6 years ago
- Learn Lean and topology☆24Updated 2 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆28Updated last year
- Random fun with statistical language models.☆63Updated 6 years ago
- Compiler for MFM programming language☆25Updated 4 months ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- ever wanted to change water into wine? better: now you can change prose into poetry☆16Updated 9 years ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago