Specs of the problem.xml format for competitive programming judge systems
☆21Nov 1, 2022Updated 3 years ago
Alternatives and similar repositories for problem-xml-specs
Users that are interested in problem-xml-specs are comparing it to the libraries listed below
Sorting:
- Runs Python code snippets inside your Telegram messages☆79Mar 11, 2026Updated last week
- Isolation box developed for sunwalker system☆31Jul 19, 2025Updated 8 months ago
- A simple Discord bot to change username's colors by replacing their roles☆16Oct 25, 2022Updated 3 years ago
- Telegram bot for everything I thought was a good idea to implement☆14Feb 20, 2026Updated last month
- A minimal programming contest environment.☆11Mar 1, 2020Updated 6 years ago
- A Python3 library for sharing secrets.☆15May 10, 2024Updated last year
- Library for generating tests for olympiad problems☆272Nov 20, 2022Updated 3 years ago
- Ridiculously fast <iostream> re-implementation☆59Jan 16, 2025Updated last year
- ☆16Feb 5, 2026Updated last month
- C++ Library for ICPC☆17Sep 17, 2016Updated 9 years ago
- Codeforces extension pack☆32Jul 24, 2023Updated 2 years ago
- ☆10Jul 2, 2022Updated 3 years ago
- A cool slack bot that will find hidden haikus in your slack messages☆13Mar 23, 2018Updated 7 years ago
- Task Preparation System (TPS) - Command-Line Interface☆49Jul 19, 2024Updated last year
- Syslog Parser. Accepts RFC 3164 (BSD) and RFC 5424 formats☆18Jun 6, 2023Updated 2 years ago
- DependoBuf - a data serialization format with dependent types☆16Nov 9, 2024Updated last year
- A competitive programming tool to accelerate user journeys of competitive programmers and setters.☆17Updated this week
- PhpStorm plugin aimed at simplifying tasks at the junction of the local repository and the repository on the dev server☆21Jan 19, 2026Updated 2 months ago
- ☆17Mar 15, 2025Updated last year
- Linux mainline kernel fork for devices I am mainlining☆15Jun 20, 2025Updated 9 months ago
- ☆23Sep 22, 2021Updated 4 years ago
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 2 years ago
- Yet another Computer Science website☆25Feb 15, 2022Updated 4 years ago
- CP-Tricki☆10Oct 3, 2023Updated 2 years ago
- ☆12Nov 8, 2025Updated 4 months ago
- The source code for the paper "Optimizing Backward Policies in GFlowNets via Trajectory Likelihood Maximization" (ICLR 2025)☆28Mar 2, 2025Updated last year
- A browser extension for Codeforces rating prediction☆150Mar 8, 2025Updated last year
- Efficient and seamless cross-process communication for Rust☆33Jul 19, 2025Updated 8 months ago
- Position-based conference call system☆12Nov 24, 2021Updated 4 years ago
- ☆17Dec 18, 2023Updated 2 years ago
- ☆12Jan 22, 2026Updated 2 months ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Stochastic Calculus course in HSE, Faculty of Computer Science☆49Updated this week
- Tasks and services for PASECA CTF 2019 (24-26 aug)☆21Mar 20, 2021Updated 5 years ago
- SCC: Strip C Comments — Snapshots☆35May 30, 2022Updated 3 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- My solutions and C++ code to 2020 ICPC North America Championship.☆10Mar 8, 2020Updated 6 years ago
- ☆14Updated this week
- 曾经的ACM之旅☆25Aug 21, 2016Updated 9 years ago