Spaces:
Running
Running
| <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(); | |
| // Calculate total annotations from the rows | |
| 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> | |
| `; | |
| } | |
| } | |
| // Start fetching when the page loads | |
| if (document.readyState === 'loading') { | |
| document.addEventListener('DOMContentLoaded', fetchTotalAnnotations); | |
| } else { | |
| fetchTotalAnnotations(); | |
| } | |
| </script> | |
| </body> | |
| </html> |