LODA is an assembly language, a computational model, and a distributed tool for mining programs. You can use it to generate and search programs that compute integer sequences from the On-Line Encyclopedia of Integer Sequences® (OEIS®). The goal of the project is to find new formulas and more efficient algorithms for a wide range of non-trivial integer sequences.

The chart shows of the number of programs since the start of the project. You can see live stats of the program mining on our Grafana dashboard.

We honor your contributions to the project: your name will be included in the mined programs!

For help and discussions, you can contact us in our forum or join us on Discord.

LODA runs on Windows 10 or higher, Linux and macOS. Please install the git version control tool before running LODA:

• On Windows, please install Git for Windows.
• On Ubuntu/Debian, you can install it using sudo apt install git.
• On macOS, it is included in homebrew

Already joined? Log in.

140,000 Programs Milestone Reached
We are excited to announce that the LODA BOINC project has reached an significant milestone: over 140,000 programs discovered! This marks a major advancement in our mission to automatically generate programs for integer sequences from the OEIS. Thanks to your support, we now have program coverage for entire classes of sequences that previously had no program coverage at all.

We have launched a public API that enables programmatic access to the LODA database, allowing developers and researchers to query, analyze, and work with LODA programs at scale. Our new Model Context Protocol (MCP) server integration now allows AI chatbots to interact directly with LODA. Users can analyze integer sequences, execute LODA programs, and even submit new programs using conversational AI interfaces.

The Top Users page has been improved to better highlight your contributions, now featuring an additional column showing the number of programs mined by each user.

Thank you for your continued support, and for contributing your computing power and expertise to the project!
3 Oct 2025, 14:22:15 UTC · Discuss

News is available as an RSS feed