archmageirvine / joeisLinks
Java implementations of sequences in the OEIS
☆66Updated last 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☆86Updated 2 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆99Updated this week
- Python implementation of the monster group☆53Updated this week
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated last year
- Source of metamath book☆51Updated last year
- ☆20Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- LODA Programs for Integer Sequences☆36Updated this week
- Metamath verifier in Python☆40Updated 4 months ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- Metamath source file for logic and set theory☆295Updated last week
- Busy Beaver deciders backed by Coq proof☆57Updated 7 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- ☆24Updated last month
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆49Updated 8 months ago
- L-Functions and Modular Forms Database☆276Updated last week
- Mathematical proofs of the bbchallenge project.☆25Updated 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 5 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated 3 weeks ago
- knot theory and computational algebra software☆38Updated 11 years ago
- A computer algebra system for research in combinatorial game theory☆48Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆35Updated 5 months ago
- Tag-based webview of LaTeX documents☆31Updated last year
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆389Updated last week
- Fungrim: the Mathematical Functions Grimoire☆124Updated 3 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 6 years ago
- 💧 Liquid Tensor Experiment☆206Updated last year