73 skills found · Page 1 of 3
oeis / OeisdataContent of Online Encyclopedia of Integer Sequences (OEIS)
hako / Oeis TuiA TUI and CLI for browsing the On-Line Encyclopedia of Integer Sequences (OEIS) in the terminal.
archmageirvine / JoeisJava implementations of sequences in the OEIS
sidneycadot / OeisCode to download, process, and analyse the Online Encyclopedia of Integer Sequences
goulu / Gouliblibrary of useful Python code for scientific + technical applications
USEPA / Public Web AppBuilderOEI - EPA_Public_Esri_Web_AppBuilder
manman4 / OEIS 03🤗 implementation of OEIS sequences (A300000-)
loda-lang / Loda RustWeb editor for the LODA language.
manman4 / OEIS 01🤗 implementation of OEIS sequences (A100000-A199999)
loda-lang / Loda CppRuntime and miner for the LODA language written in C++
JulienPalard / OeisNewcomer friendly project implementing a few oeis.org sequences.
manman4 / OEIS 00🤗 implementation of OEIS sequences (A000001-A099999)
barakeel / Oeis SynthesisNo description available
Anon52MI4 / Oeis AlienNo description available
manman4 / OEIS 02🤗 implementation of OEIS sequences (A200000-A299999)
ckrause / LodaLODA is an assembly language, a computational model and a tool for mining integer sequence programs.
provables / SequencelibA platform for formalizing OEIS sequences in Lean 4
djbarrow / FundamentalSoftware to look for interrelationships between constants and find formulas for number sequences
MurrayT / OEIS.jlA basic wrapper to allow access to OEIS from within Julia.
jdan / OeisOn-Line Encyclopedia of Integer Sequences gem
