Overview

By LODA Language

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!

Getting Started

To get an overview of the LODA language, you can take a look at its Specification. It includes a reference of its operations with examples. You can use the Online Editor to try it out yourself!

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.

Development

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.

Contributors