nissmogt's picture
Create dataset.py
5f0e1dd verified
raw
history blame contribute delete
643 Bytes
import json
LEADERBOARD_FILE = "leaderboard.json"
def save_leaderboard(leaderboard):
with open(LEADERBOARD_FILE, "w") as f:
json.dump(leaderboard, f)
def load_leaderboard():
try:
with open(LEADERBOARD_FILE, "r") as f:
return json.load(f)
except FileNotFoundError:
return []
def update_leaderboard_votes(index, vote):
leaderboard = load_leaderboard()
if 0 <= index < len(leaderboard):
leaderboard[index]["votes"] += vote
leaderboard.sort(key=lambda x: x["votes"], reverse=True)
save_leaderboard(leaderboard[:10]) # Keep only top 10
return leaderboard[:10]