https://github.com/loda-lang/loda-cpp
Runtime and miner for the LODA language written in C++
https://github.com/loda-lang/loda-cpp
assembly-language cplusplus integer-sequences math oeis
Last synced: 14 days ago
JSON representation
Runtime and miner for the LODA language written in C++
- Host: GitHub
- URL: https://github.com/loda-lang/loda-cpp
- Owner: loda-lang
- License: apache-2.0
- Created: 2021-08-21T18:37:43.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2025-04-01T13:22:28.000Z (10 months ago)
- Last Synced: 2025-04-01T14:29:20.783Z (10 months ago)
- Topics: assembly-language, cplusplus, integer-sequences, math, oeis
- Language: C++
- Homepage: https://loda-lang.org/
- Size: 7.19 MB
- Stars: 24
- Watchers: 2
- Forks: 2
- Open Issues: 24
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
- Codeowners: .github/CODEOWNERS
Awesome Lists containing this project
README
# LODA Tool (C++ Implementation)
[LODA](https://loda-lang.org) is an open-source assembly language and toolset for the discovery, mining, and analysis of integer sequences — especially those from the [On-Line Encyclopedia of Integer Sequences® (OEIS®)](https://oeis.org/).
This repository, [loda-cpp](https://github.com/loda-lang/loda-cpp), provides a C++ implementation of the [LODA language](https://loda-lang.org/spec), including an interpreter, optimizer, formula generator and a miner. The miner can automatically generate LODA programs for OEIS sequences, which are stored in the [loda-programs](https://github.com/loda-lang/loda-programs) repository.
## Getting Started
To install LODA, please follow the [official installation instructions](http://loda-lang.org/install/).
For a quick test, run `loda eval A000045` to compute the first terms of the Fibonacci sequence.
Initialize your LODA home directory with `loda setup`.
To mine programs for OEIS sequences, use `loda mine` (single-core) or `loda mine -p` (multi-core).
## Usage
The `loda` command-line tool supports the following commands and options:
```
Welcome to LODA developer version. More information at https://loda-lang.org/
Usage: loda
Commands:
eval Evaluate an integer sequence program (see -t,-b,-s)
check Verify correctness of an integer sequence program (see -b)
mine Mine programs for integer sequences (see -i,-p,-P,-H)
submit [id] Submit an integer sequence program to the central repository
export Export a program and print the result (see -o,-t)
optimize Optimize a program and print the result
minimize Minimize a program and print the result (see -t)
profile Measure program evaluation time (see -t)
fold Fold a subprogram given by ID into a seq-operation
unfold Unfold the first seq-operation of a program
mutate Mutate a program to mine for integer sequences
setup Run interactive setup to configure LODA
update Update integer sequence and program data
upgrade Check for and install the latest LODA version
Targets:
Path to a LODA file (file extension: *.asm)
ID of an integer sequence (example: A000045)
Either an or an
Options:
-t Number of sequence terms (default: 8)
-b Print result in the OEIS b-file format
-o Export format (formula,loda,pari,range)
-d Export with dependencies to other programs
-s Evaluate program and return number of execution steps
-c Maximum number of execution steps (no limit: -1)
-m Maximum number of used memory cells (no limit: -1)
-z Maximum evaluation time in seconds (no limit: -1)
-l Log level (values: debug,info,warn,error,alert)
-i Name of miner configuration from miners.json
-p Parallel mining using default number of instances
-P Parallel mining using custom number of instances
-H Number of mining hours (default: unlimited)
```
## Development
For developer guidance, see the detailed documentation in [src/README.md](src/README.md) and the [Copilot instructions](.github/copilot-instructions.md). These cover code structure, style, and common tasks for contributing to LODA.
## License
This project is licensed under the Apache License, Version 2.0. See the [LICENSE](LICENSE) file for details.