|
<!DOCTYPE html> |
|
<html> |
|
<head> |
|
<meta charset="utf-8" /> |
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" /> |
|
<title>Leaderboards</title> |
|
<link href="https://fonts.googleapis.com/css2?family=Source+Sans+Pro:wght@400;600&display=swap" rel="stylesheet" /> |
|
<style> |
|
body { |
|
font-family: 'Source Sans Pro', system-ui, -apple-system, sans-serif; |
|
margin: 0; |
|
padding: 20px; |
|
background: #f5f5f5; |
|
min-height: 100vh; |
|
} |
|
|
|
.container { |
|
max-width: 1200px; |
|
margin: 0 auto; |
|
} |
|
|
|
.header { |
|
text-align: center; |
|
margin-bottom: 2rem; |
|
color: #111827; |
|
} |
|
|
|
.summary { |
|
text-align: center; |
|
margin-bottom: 2rem; |
|
padding: 1rem; |
|
background: white; |
|
border-radius: 12px; |
|
box-shadow: 0 1px 3px rgba(0,0,0,0.1); |
|
border: 1px solid #e5e7eb; |
|
} |
|
|
|
.summary p { |
|
font-size: 1.1rem; |
|
color: #374151; |
|
margin: 0; |
|
} |
|
|
|
.grid { |
|
display: flex; |
|
flex-direction: column; |
|
gap: 2rem; |
|
} |
|
|
|
.card { |
|
background: white; |
|
border-radius: 12px; |
|
box-shadow: 0 1px 3px rgba(0,0,0,0.1); |
|
padding: 1.5rem; |
|
border: 1px solid #e5e7eb; |
|
} |
|
|
|
.card-title { |
|
font-size: 1.25rem; |
|
font-weight: 600; |
|
margin-bottom: 1rem; |
|
color: #111827; |
|
} |
|
|
|
.iframe-container { |
|
border-radius: 8px; |
|
overflow: hidden; |
|
background: #fff; |
|
position: relative; |
|
padding-bottom: 56.25%; |
|
height: 0; |
|
} |
|
|
|
.iframe-container iframe { |
|
position: absolute; |
|
top: 0; |
|
left: 0; |
|
width: 100%; |
|
height: 100%; |
|
border: none; |
|
} |
|
|
|
.loading { |
|
display: inline-block; |
|
width: 20px; |
|
height: 20px; |
|
border: 3px solid rgba(0,0,0,.1); |
|
border-radius: 50%; |
|
border-top-color: #3b82f6; |
|
animation: spin 1s ease-in-out infinite; |
|
margin-right: 10px; |
|
vertical-align: middle; |
|
} |
|
|
|
@keyframes spin { |
|
to { transform: rotate(360deg); } |
|
} |
|
|
|
.error { |
|
color: #dc2626; |
|
padding: 1rem; |
|
background: #fee2e2; |
|
border-radius: 8px; |
|
margin: 1rem 0; |
|
} |
|
|
|
@media (max-width: 768px) { |
|
body { |
|
padding: 1rem; |
|
} |
|
|
|
.card { |
|
padding: 1rem; |
|
} |
|
|
|
.iframe-container { |
|
padding-bottom: 75%; |
|
} |
|
} |
|
</style> |
|
</head> |
|
<body> |
|
<div class="container"> |
|
<header class="header"> |
|
<h1>Leaderboards</h1> |
|
</header> |
|
|
|
<div class="summary" id="total-annotations"> |
|
<div class="loading"></div> |
|
<span>Loading total annotations...</span> |
|
</div> |
|
|
|
<div class="grid"> |
|
<div class="card"> |
|
<div class="card-title">User Leaderboard</div> |
|
<div class="iframe-container"> |
|
<iframe |
|
src="https://huggingface.co/datasets/davanstrien/progress/embed/sql-console/NbscKj4" |
|
frameborder="0"> |
|
</iframe> |
|
</div> |
|
</div> |
|
|
|
<div class="card"> |
|
<div class="card-title">Language Leaderboard</div> |
|
<div class="iframe-container"> |
|
<iframe |
|
src="https://huggingface.co/datasets/davanstrien/progress/embed/sql-console/5Bhx9Ck" |
|
frameborder="0"> |
|
</iframe> |
|
</div> |
|
</div> |
|
</div> |
|
</div> |
|
|
|
<script> |
|
async function fetchTotalAnnotations() { |
|
try { |
|
const response = await fetch( |
|
"https://datasets-server.huggingface.co/rows?dataset=davanstrien%2Fprogress&config=default&split=train&offset=0&length=100" |
|
); |
|
|
|
if (!response.ok) { |
|
throw new Error(`HTTP error! status: ${response.status}`); |
|
} |
|
|
|
const data = await response.json(); |
|
|
|
|
|
const totalAnnotations = data.rows.reduce((sum, row) => { |
|
return sum + (row.row.submitted || 0); |
|
}, 0); |
|
|
|
document.getElementById('total-annotations').innerHTML = ` |
|
<p>Total annotations submitted: <strong>${totalAnnotations.toLocaleString()}</strong></p> |
|
`; |
|
} catch (error) { |
|
console.error('Error fetching total annotations:', error); |
|
document.getElementById('total-annotations').innerHTML = ` |
|
<div class="error"> |
|
Error loading annotations: ${error.message} |
|
</div> |
|
`; |
|
} |
|
} |
|
|
|
|
|
if (document.readyState === 'loading') { |
|
document.addEventListener('DOMContentLoaded', fetchTotalAnnotations); |
|
} else { |
|
fetchTotalAnnotations(); |
|
} |
|
</script> |
|
</body> |
|
</html> |
