JulienPalard / oeisLinks
Newcomer friendly project implementing a few oeis.org sequences.
☆27Updated 2 months ago
Alternatives and similar repositories for oeis
Users that are interested in oeis are comparing it to the libraries listed below
Sorting:
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆50Updated 11 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Updated 2 months ago
- metamath proof enumerators and other things☆92Updated last month
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆22Updated this week
- Busy Beaver deciders backed by Coq proof☆59Updated 10 months ago
- Metamath program - source code for the Metamath executable☆90Updated last month
- Convergence verification of the Collatz problem☆73Updated last month
- LODA Programs for Integer Sequences☆37Updated this week
- Java implementations of sequences in the OEIS☆68Updated this week
- Runtime and miner for the LODA language written in C++☆28Updated this week
- Terminal CLI to Mathics3☆60Updated 2 weeks ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Mathematical proofs of the bbchallenge project.☆24Updated 4 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆113Updated last week
- Python to Brainfuck transpiler☆53Updated 9 years ago
- ☆22Updated 2 years ago
- ☆14Updated last year
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- A simple stack based code golf language☆26Updated 3 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆38Updated 8 months ago
- Here we give programs that check if Turing machines halt or not.☆15Updated 4 months ago
- ☆12Updated 3 years ago
- ANSI cursor movement and graphics in Python☆53Updated last year
- Polyglot autogolfer for https://code.golf☆21Updated last year
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated 2 years ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- Fork of Python with some terrible custom features hacked in☆14Updated 3 years ago
- My esoteric languages☆28Updated 3 years ago