JulienPalard / oeisLinks
Newcomer friendly project implementing a few oeis.org sequences.
☆26Updated 2 weeks 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 9 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆46Updated last month
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆22Updated 2 months ago
- ☆12Updated 3 years ago
- Polyglot autogolfer for https://code.golf☆21Updated last year
- ANSI cursor movement and graphics in Python☆53Updated last year
- metamath proof enumerators and other things☆91Updated last week
- Fork of Python with some terrible custom features hacked in☆15Updated 3 years ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Updated 3 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- ☆18Updated 2 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Here we give programs that check if Turing machines halt or not.☆14Updated 2 months ago
- A simple stack based code golf language☆26Updated 3 years ago
- Metamath program - source code for the Metamath executable☆89Updated 3 months ago
- Retrospective of Python compilation efforts☆65Updated 3 years ago
- A 2d "programming language" based around triangles☆11Updated 2 years ago
- LODA Programs for Integer Sequences☆36Updated this week
- Busy Beaver deciders backed by Coq proof☆58Updated 8 months ago
- An Esoteric Programming Language based on Reverse Polish Notation☆12Updated 8 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆36Updated 6 months ago
- Try It Online clone: online sandbox environment for testing code in a variety of languages☆66Updated last week
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.☆18Updated 3 months ago
- Polyglot written in 7 esoteric programming languages☆30Updated 4 years ago
- My esoteric languages☆27Updated 3 years ago
- An experimental non-deterministic concatenative golfing language☆24Updated 2 weeks ago
- Slim text editor inspired by Vim.☆21Updated last month
- Runtime and miner for the LODA language written in C++☆27Updated last week