archmageirvine / joeisLinks
Java implementations of sequences in the OEIS
☆65Updated 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☆84Updated last month
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆95Updated this week
- Python implementation of the monster group☆53Updated 3 weeks ago
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated last year
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- Metamath source file for logic and set theory☆292Updated this week
- Mathematical proofs of the bbchallenge project.☆25Updated 2 weeks ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- ☆20Updated 2 years ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 5 years ago
- ☆24Updated 3 weeks ago
- LODA Programs for Integer Sequences☆37Updated this week
- Metamath verifier in Python☆40Updated 3 months ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆169Updated this week
- Busy Beaver deciders backed by Coq proof☆54Updated 6 months ago
- A computer algebra system for research in combinatorial game theory☆48Updated last year
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated last week
- 💧 Liquid Tensor Experiment☆206Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆125Updated last year
- Source of metamath book☆50Updated last year
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated this week
- Repository for the QED interactive text and possible extensions☆104Updated 7 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated this week
- Tag-based webview of LaTeX documents☆31Updated last year