* New leaderboard styling with custom table (instead of Gradio dataframe) 5d5cc81 mrfakename commited on 16 days ago
