JulienPalard / oeisLinks
Newcomer friendly project implementing a few oeis.org sequences.
☆26Updated 2 months ago
Alternatives and similar repositories for oeis
Users that are interested in oeis are comparing it to the libraries listed below
Sorting:
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated last week
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆48Updated 7 months ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Updated 2 years ago
- metamath proof enumerators and other things☆94Updated last year
- LODA Programs for Integer Sequences☆37Updated this week
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆22Updated 3 weeks ago
- ☆11Updated 3 years ago
- Metamath program - source code for the Metamath executable☆86Updated last month
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- My esoteric languages☆27Updated 3 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- Busy Beaver deciders backed by Coq proof☆57Updated 6 months ago
- Terminal CLI to Mathics3☆60Updated 3 weeks ago
- Temporary/draft repository with luametatex☆37Updated this week
- Convergence verification of the Collatz problem☆69Updated this week
- A lambda calculus interpreter in Python☆19Updated 4 years ago
- Runtime and miner for the LODA language written in C++☆27Updated last week
- ANSI cursor movement and graphics in Python☆53Updated last year
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- An Esoteric Programming Language based on Reverse Polish Notation☆12Updated 8 years ago
- An ASCII-based golfing language☆14Updated 2 years ago
- Pip: an imperative code-golf language☆35Updated 2 weeks ago
- Try It Online clone: online sandbox environment for testing code in a variety of languages☆64Updated 3 months ago
- A simple stack based code golf language☆25Updated 3 years ago
- Polyglot written in 7 esoteric programming languages☆29Updated 4 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆95Updated this week
- Fork of Python with some terrible custom features hacked in☆16Updated 2 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆34Updated 4 months ago
- An esoteric language based on overlapping tree-like structures☆10Updated 3 years ago
- GUI for glider logic in Conway's game of life.☆103Updated 5 years ago