{"id":15060490,"url":"https://github.com/loda-lang/loda-cpp","last_synced_at":"2026-03-01T17:12:49.642Z","repository":{"id":37848247,"uuid":"398632022","full_name":"loda-lang/loda-cpp","owner":"loda-lang","description":"Runtime and miner for the LODA language written in C++","archived":false,"fork":false,"pushed_at":"2026-02-19T17:05:46.000Z","size":8393,"stargazers_count":28,"open_issues_count":28,"forks_count":4,"subscribers_count":2,"default_branch":"main","last_synced_at":"2026-03-01T13:51:43.526Z","etag":null,"topics":["assembly-language","cplusplus","integer-sequences","math","oeis"],"latest_commit_sha":null,"homepage":"https://loda-lang.org/","language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/loda-lang.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":".github/CODEOWNERS","security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2021-08-21T18:37:43.000Z","updated_at":"2026-02-19T17:05:51.000Z","dependencies_parsed_at":"2023-12-25T14:06:35.232Z","dependency_job_id":"44a82095-a6fa-4c01-b969-f59c20ff88ea","html_url":"https://github.com/loda-lang/loda-cpp","commit_stats":null,"previous_names":[],"tags_count":153,"template":false,"template_full_name":null,"purl":"pkg:github/loda-lang/loda-cpp","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/loda-lang%2Floda-cpp","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/loda-lang%2Floda-cpp/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/loda-lang%2Floda-cpp/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/loda-lang%2Floda-cpp/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/loda-lang","download_url":"https://codeload.github.com/loda-lang/loda-cpp/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/loda-lang%2Floda-cpp/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29976272,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-01T16:35:47.903Z","status":"ssl_error","status_checked_at":"2026-03-01T16:35:44.899Z","response_time":124,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["assembly-language","cplusplus","integer-sequences","math","oeis"],"created_at":"2024-09-24T22:59:26.462Z","updated_at":"2026-03-01T17:12:49.618Z","avatar_url":"https://github.com/loda-lang.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"# LODA Tool (C++ Implementation)\n\n[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/).\n\nThis 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.\n\n## Getting Started\n\nTo install LODA, please follow the [official installation instructions](http://loda-lang.org/install/).\nFor a quick test, run `loda eval A000045` to compute the first terms of the Fibonacci sequence.\nInitialize your LODA home directory with `loda setup`.\nTo mine programs for OEIS sequences, use `loda mine` (single-core) or `loda mine -p` (multi-core).\n\n## Usage\n\nThe `loda` command-line tool supports the following commands and options:\n\n```\nWelcome to LODA developer version. More information at https://loda-lang.org/\n\nUsage: loda \u003ccommand\u003e \u003coptions\u003e\n\nCommands:\n  eval      \u003cprogram\u003e  Evaluate an integer sequence program (see -t,-b,-s)\n  check     \u003cprogram\u003e  Verify correctness of an integer sequence program (see -b)\n  mine                 Mine programs for integer sequences (see -i,-p,-P,-H)\n  submit  \u003cfile\u003e [id]  Submit an integer sequence program to the central repository\n  export    \u003cprogram\u003e  Export a program and print the result (see -o,-t)\n  optimize  \u003cprogram\u003e  Optimize a program and print the result\n  minimize  \u003cprogram\u003e  Minimize a program and print the result (see -t)\n  profile   \u003cprogram\u003e  Measure program evaluation time (see -t)\n  fold \u003cprogram\u003e \u003cid\u003e  Fold a subprogram given by ID into a seq-operation\n  unfold    \u003cprogram\u003e  Unfold the first seq-operation of a program\n  mutate    \u003cprogram\u003e  Mutate a program to mine for integer sequences\n  setup                Run interactive setup to configure LODA\n  update               Update integer sequence and program data\n  upgrade              Check for and install the latest LODA version\n\nTargets:\n  \u003cfile\u003e               Path to a LODA file (file extension: *.asm)\n  \u003cid\u003e                 ID of an integer sequence (example: A000045)\n  \u003cprogram\u003e            Either an \u003cfile\u003e or an \u003cid\u003e\n\nOptions:\n  -t \u003cnumber\u003e          Number of sequence terms (default: 8)\n  -b                   Print result in the OEIS b-file format\n  -o \u003cstring\u003e          Export format (formula,loda,pari,range)\n  -d                   Export with dependencies to other programs\n  -s                   Evaluate program and return number of execution steps\n  -c \u003cnumber\u003e          Maximum number of execution steps (no limit: -1)\n  -m \u003cnumber\u003e          Maximum number of used memory cells (no limit: -1)\n  -z \u003cnumber\u003e          Maximum evaluation time in seconds (no limit: -1)\n  -l \u003cstring\u003e          Log level (values: debug,info,warn,error,alert)\n  -i \u003cstring\u003e          Name of miner configuration from miners.json\n  -p                   Parallel mining using default number of instances\n  -P \u003cnumber\u003e          Parallel mining using custom number of instances\n  -H \u003cnumber\u003e          Number of mining hours (default: unlimited)\n```\n\n## Development\n\nFor 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.\n\n## License\n\nThis project is licensed under the Apache License, Version 2.0. See the [LICENSE](LICENSE) file for details.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Floda-lang%2Floda-cpp","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Floda-lang%2Floda-cpp","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Floda-lang%2Floda-cpp/lists"}