rchurchley / erdos-bacon-sabbathLinks
An open-source celebration of creative academics & academic creatives
☆12Updated 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
- Metamath verifier in Python☆39Updated 3 weeks ago
- Tools for the grammar and writing system of the Ithkuil constructed language☆27Updated last year
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- Javascript implementation of Fractran☆14Updated 7 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- Haskell bindings to SymEngine☆25Updated last year
- A semantic Extension of TeX/LaTeX☆52Updated last month
- The Average Novel☆10Updated 7 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Learn Lean and topology☆20Updated 2 years ago
- modal logic library for LEAN theorem prover☆11Updated 7 years ago
- Incorporates external dependencies into HTML file using data: URI scheme☆20Updated 13 years ago
- MiniZinc documentation☆16Updated 2 years ago
- A set of tools for analysis of texts in the Ithkuil constructed language☆31Updated 5 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆25Updated last year
- Combine two wikipedia pages to make new facts. Tweets @brand_new_facts☆18Updated 6 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- Boilerplate for consistent lecture notes, slides, and assignments using LaTeX beamer and tufte-latex.☆17Updated 7 years ago
- ☆52Updated 5 months ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated 2 years ago
- provide a syntax to use amsthm environments in pandoc, with output in LaTeX and HTML☆22Updated 3 years ago
- A file-based mirror of the nLab wiki (HTML format).☆24Updated this week
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated last year
- ☆23Updated 3 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆57Updated last month
- Riemann Hypothesis book☆75Updated 7 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