Spaces:
Running
Running
| import streamlit as st | |
| import pandas as pd | |
| from huggingface_hub import Repository | |
| from st_aggrid import AgGrid, GridOptionsBuilder | |
| st.set_page_config(layout="wide") | |
| # Title and description | |
| st.title("Benchmark Overview") | |
| st.write("This application displays an overview of various benchmarks, their details, and related information in a clean and readable format.") | |
| # Simulated CSV data (replace this with actual CSV reading if available) | |
| df = pd.read_csv("benchmark_overview_data.csv") | |
| # Display DataFrame in a nicely formatted table using AgGrid | |
| st.write("### Benchmark Details Table") | |
| # Configure AgGrid options | |
| builder = GridOptionsBuilder.from_dataframe(df) | |
| builder.configure_default_column(resizable=True, wrapText=True, autoHeight=True) | |
| builder.configure_grid_options(domLayout='autoHeight', rowHeight=50) | |
| options = builder.build() | |
| AgGrid(df, gridOptions=options, height=400, fit_columns_on_grid_load=True, theme="streamlit") | |
| # Optionally add additional details or filters | |
| st.write("### Explore Benchmarks") | |
| selected_task = st.selectbox("Select an Evaluated Task", options=df["Evaluated task"].unique()) | |
| filtered_data = df[df["Evaluated task"] == selected_task] | |
| st.write(filtered_data) |