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.

Upcoming maintenance
We will go into a planned maintenance in the next few weeks. In the first phase, we will stop creating new workunits and wait until the majority of in-progress work is finished. During the maintenance, the BOINC server will be offline. We will post updates at https://loda-lang.org/. Thanks for your contributions and patience!
29 May 2026, 9:48:53 UTC · Discuss

News is available as an RSS feed