alpaylan

alpaylan/etna-cli

ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of commands to manage your experiments, and results.

2 good first / help-wanted issues · Rocq Prover · last activity Sep 11, 2025

2 Open Issues Need Help Last updated: Sep 11, 2025

Open Issues Need Help

View All on GitHub
Implement `etna bash` about 1 year ago
good first issue
alpaylan/etna-cli
5

ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of commands to manage your experiments, and results.

Rocq Prover
good first issue
alpaylan/etna-cli
5

ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of commands to manage your experiments, and results.

Rocq Prover