JulienPalard / oeisLinks
Newcomer friendly project implementing a few oeis.org sequences.
☆27Updated last month
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 10 months ago
- ☆12Updated 3 years ago
- LODA Programs for Integer Sequences☆37Updated this week
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆22Updated 3 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆46Updated last month
- Busy Beaver deciders backed by Coq proof☆58Updated 9 months ago
- ANSI cursor movement and graphics in Python☆53Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Updated 3 years ago
- Convergence verification of the Collatz problem☆73Updated 2 weeks ago
- Try It Online clone: online sandbox environment for testing code in a variety of languages☆66Updated last week
- metamath proof enumerators and other things☆92Updated 3 weeks ago
- The single instruction language - Flip a bit, then Jump☆131Updated 11 months ago
- A 2d "programming language" based around triangles☆11Updated 2 years ago
- Runtime and miner for the LODA language written in C++☆28Updated this week
- Metamath program - source code for the Metamath executable☆89Updated last week
- Write compiled bytecode inline with pure Python. 🤖☆81Updated last year
- Terminal CLI to Mathics3☆60Updated 3 months ago
- Python to Brainfuck transpiler☆53Updated 9 years ago
- implementation of OEIS sequences☆11Updated 9 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- An Esoteric Programming Language based on Reverse Polish Notation☆12Updated 8 years ago
- A simple stack based code golf language☆26Updated 3 years ago
- ☆93Updated 3 years ago
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- Temporary/draft repository with luametatex☆38Updated this week
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Retrospective of Python compilation efforts☆65Updated 3 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- Filesystem view of version control repositories☆67Updated 4 years ago