archmageirvine / joeisLinks
Java implementations of sequences in the OEIS
☆64Updated this week
Alternatives and similar repositories for joeis
Users that are interested in joeis are comparing it to the libraries listed below
Sorting:
- metamath proof enumerators and other things☆94Updated last year
- Metamath program - source code for the Metamath executable☆82Updated last week
- Python implementation of the monster group☆51Updated 3 weeks ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆90Updated this week
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆53Updated 5 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆80Updated last year
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- LODA Programs for Integer Sequences☆36Updated this week
- Metamath source file for logic and set theory☆288Updated this week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆42Updated this week
- Metamath verifier in Python☆40Updated last month
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 4 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆49Updated 3 weeks 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 this week
- Source of metamath book☆48Updated last year
- ☆19Updated 2 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- 💧 Liquid Tensor Experiment☆205Updated last year
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆47Updated 6 months ago
- Repository for the QED interactive text and possible extensions☆104Updated 6 months ago
- ☆92Updated last year
- Mathematical proofs of the bbchallenge project.☆25Updated 3 months ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- ☆23Updated 3 weeks ago
- Tag-based webview of LaTeX documents☆30Updated last year
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week