OEIS - Moozonian

GitHub Repo https://github.com/provables/sequencelib

A platform for formalizing OEIS sequences in Lean 4

GitHub Repo https://github.com/USEPA/Public_Web_AppBuilder

OEI - EPA_Public_Esri_Web_AppBuilder

GitHub Repo https://github.com/oeis/oeisdata

Content of Online Encyclopedia of Integer Sequences (OEIS)

GitHub Repo https://github.com/sidneycadot/oeis

Code to download, process, and analyse the Online Encyclopedia of Integer Sequences

GitHub Repo https://github.com/hako/oeis-tui

A TUI and CLI for browsing the On-Line Encyclopedia of Integer Sequences (OEIS) in the terminal.

GitHub Repo https://github.com/JulienPalard/oeis

Newcomer friendly project implementing a few oeis.org sequences.

GitHub Repo https://github.com/MurrayT/OEIS.jl

A basic wrapper to allow access to OEIS from within Julia.

GitHub Repo https://github.com/archmageirvine/joeis

Java implementations of sequences in the OEIS

GitHub Repo https://github.com/bsl/oeis

Haskell interface to the Online Encyclopedia of Integer Sequences

GitHub Repo https://github.com/manman4/OEIS_00

🤗 implementation of OEIS sequences (A000001-A099999)