Popular repositories Loading

1. everybody-codes-2025 everybody-codes-2025 Public

   Solutions to https://everybody.codes/event/2025/quests using Lean 4

   Lean 1

2. otis-web otis-web Public

   Forked from vEnhance/otis-web

   Django source for OTIS internal course management system

   Python

3. von von Public

   Forked from vEnhance/von

   Olympiad problem database

   Python

4. blazor-samples blazor-samples Public

   Forked from dotnet/blazor-samples

   HTML

5. pzprjs pzprjs Public

   Forked from robx/pzprjs

   Playing and editing puzzles by Javascript (fork of sabo2/pzprjs)

   JavaScript

6. advent-of-code-2025 advent-of-code-2025 Public

   Solutions to https://adventofcode.com/2025 using Lean 4

   Lean