oeis / oeisdataLinks
Content of Online Encyclopedia of Integer Sequences (OEIS)
☆84Updated this week
Alternatives and similar repositories for oeisdata
Users that are interested in oeisdata are comparing it to the libraries listed below
Sorting:
- Java implementations of sequences in the OEIS☆63Updated this week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆40Updated this week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Exponent pair database☆57Updated last week
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- Lean documentation authoring tool☆180Updated this week
- ☆22Updated 2 weeks ago
- Metamath program - source code for the Metamath executable☆82Updated last month
- metamath proof enumerators and other things☆94Updated 11 months ago
- Python implementation of the monster group☆48Updated 3 weeks ago
- Metamath verifier in Python☆39Updated 2 weeks ago
- Metamath source file for logic and set theory☆284Updated this week
- ☆11Updated last year
- 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
- 💧 Liquid Tensor Experiment☆199Updated last year
- A LaTeX Typesetting Game☆252Updated 2 months ago
- ☆19Updated 2 years ago
- A formalized proof of Carleson's theorem in Lean☆58Updated this week
- LODA Programs for Integer Sequences☆35Updated this week
- ☆13Updated last year
- A database app for ring theory☆22Updated last week
- ☆91Updated last year
- Tim Button's open textbook on set theory☆38Updated this week
- Tag-based webview of LaTeX documents☆30Updated last year
- Catalog Of Math Problems Formalized In Lean☆166Updated this week
- An introduction to theorem proving in Lean for the impatient.☆210Updated last month
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- The standard template to create a lean game☆24Updated 3 months ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- ☆13Updated last year