import pathlib
from pathlib import Path
import tempfile
from typing import BinaryIO, Literal
import json
import pandas as pd
import gradio as gr
from huggingface_hub import upload_file, hf_hub_download
from datetime import datetime
import os
from about import PROBLEM_TYPES, TOKEN, CACHE_PATH, API, submissions_repo, results_repo
def make_user_clickable(name):
link =f'https://huggingface.co/{name}'
return f'{name}'
def make_boundary_clickable(filename):
link =f'https://huggingface.co/datasets/{results_repo}/blob/main/{filename}'
return f'link'
def read_result_from_hub(filename):
local_path = hf_hub_download(
repo_id=results_repo,
repo_type="dataset",
filename=filename,
)
return local_path
def get_user(profile: gr.OAuthProfile | None) -> str:
if profile is None:
return "Please login to make a submission to the leaderboard."
return profile.username