Update app.py

app.py

@@ -9,6 +9,11 @@ from io import StringIO
 from yall import create_yall
 import plotly.graph_objs as go
 
+def calculate_pages(df, items_per_page):
+    return -(-len(df) // items_per_page)  # Equivalent to math.ceil(len(df) / items_per_page)
+
+    
+
 # Function to get model info from Hugging Face API using caching
 @cache
 def cached_model_info(api, model):
@@ -196,6 +201,16 @@ def main():
                 if search_query:
                     df = df[df['Model'].str.contains(search_query, case=False)]
 
+                # Add a selectbox for page selection
+                items_per_page = 20
+                pages = calculate_pages(df, items_per_page)
+                page = st.selectbox("Page", list(range(1, pages + 1)))
+
+                # Slice the DataFrame based on the selected page
+                start = (page - 1) * items_per_page
+                end = start + items_per_page
+                df = df[start:end]
+                
                 # Display the filtered DataFrame or the entire leaderboard
                 st.dataframe(
                     df[['Model'] + score_columns + ['Likes', 'URL']],