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
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆23Updated last week
- LODA Programs for Integer Sequences☆37Updated last week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Updated last week
- metamath proof enumerators and other things☆92Updated 2 months ago
- Runtime and miner for the LODA language written in C++☆28Updated last week
- Convergence verification of the Collatz problem☆73Updated 2 months ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- ☆12Updated 3 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Terminal CLI to Mathics3☆60Updated last month
- Metamath program - source code for the Metamath executable☆91Updated last month
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Java implementations of sequences in the OEIS☆68Updated this week
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆77Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- fungot, a Funge-98 bot☆16Updated 3 years ago
- Here we give programs that check if Turing machines halt or not.☆15Updated 4 months ago
- Railroad syntax diagram generator☆74Updated 4 years ago
- ☆86Updated 8 years ago
- Python to Brainfuck transpiler☆53Updated 9 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/☆145Updated last week
- Mathematical proofs of the bbchallenge project.☆24Updated 4 months ago
- A 2d "programming language" based around triangles☆11Updated 2 years ago
- A Python CAS library☆73Updated this week
- ANSI cursor movement and graphics in Python☆52Updated 2 years ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- compiler for x86 in 100 bytes☆69Updated 11 years ago