LODA is an assembly language, a computational model and a tool for mining integer sequences. You can use it to generate and search programs that calculate integer sequences from the On-Line Encyclopedia of Integer Sequences® (OEIS®).
There are continuously running miners that generate new programs every day!
If you want to see more programs, you can browse through the lists of mined programs for OEIS sequences. There are currently more than 38,000 programs available! You can find lists with descriptions and links here:
Except for a few hand-witten ones, these programs have been generated using distributed miners. These miners are continously running and generate new or improved programs every day. You can take a look at the Mining Dashboard to get overview of the latest findings of the miners.
If you want mine programs yourself, you can install the LODA command-line tool and start mining using the
loda mine command (single-core) or the
mine_parallel.sh script (multi-core). Find out more about the tool at loda-cpp.
If you want to receive updates on new miner findings, you can check out the commits in loda-programs or subscribe to the @lodaminer channel on Twitter, or join other LODA enthusiasts in the loda-lang workspace on Slack.
The source code of LODA is hosted in the loda-lang organization on GitHub. These are some of its main repositories:
- loda-cpp: Interpreter and miner written in C++.
- loda-rust: Interpreter and web interface written in Rust.
- loda-programs: Mined programs for OEIS sequences.