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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A modern C++ library for processing test data in competitive programming.☆52Jul 29, 2026Updated last month
- Runs Python code snippets inside your Telegram messages☆80Sep 10, 2026Updated last week
- Overlay for competitive programming competitions broadcasts☆67Updated this week
- Open solution for defence task from Data Fusion Contest 2023☆12Apr 2, 2023Updated 3 years ago
- Isolation box developed for sunwalker system☆32Aug 22, 2026Updated 3 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A simple Discord bot to change username's colors by replacing their roles☆16Oct 25, 2022Updated 3 years ago
- DependoBuf - a data serialization format with dependent types☆16Nov 9, 2024Updated last year
- Telegram-bot which notifies chat participants about coming Birthdays 🎉☆11May 1, 2026Updated 4 months ago
- Repository for "Revisiting Non-Acyclic GFlowNets in Discrete Environments" (ICML 2025)☆14Oct 8, 2025Updated 11 months ago
- Training syllabus for ITK19 NBK☆13Oct 12, 2021Updated 4 years ago
- ☆10Jul 2, 2022Updated 4 years ago
- ☆16Feb 5, 2026Updated 7 months ago
- C++ Library for ICPC☆17Sep 17, 2016Updated 10 years ago
- ☆16Sep 16, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Upload accepted solutions from CodeChef and CodeForces to GitHub☆55Aug 1, 2024Updated 2 years ago
- Old version of joern used for ACSAC'12 paper. Only kept around for archiving.☆18Jul 19, 2012Updated 14 years ago
- Task Preparation System (TPS) - Command-Line Interface☆52Jul 19, 2024Updated 2 years ago
- A cool slack bot that will find hidden haikus in your slack messages☆13Mar 23, 2018Updated 8 years ago
- A simple tool which run Codeforces' testcases easier☆18Jun 7, 2015Updated 11 years ago
- Syslog Parser. Accepts RFC 3164 (BSD) and RFC 5424 formats☆18Jun 6, 2023Updated 3 years ago
- two types (external/internal) cheat examples, and game to test on.☆17Oct 27, 2022Updated 3 years ago
- ☆20Mar 15, 2025Updated last year
- PhpStorm plugin aimed at simplifying tasks at the junction of the local repository and the repository on the dev server☆21Jan 19, 2026Updated 8 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Very fast, exact Steiner tree solver☆18Apr 22, 2022Updated 4 years ago
- ReCache: Learning Budget-Aware Caching Schedules for Diffusion Models via REINFORCE☆29Jun 5, 2026Updated 3 months ago
- Linux mainline kernel fork for devices I am mainlining☆16Jun 20, 2025Updated last year
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 3 years ago
- ☆19Feb 8, 2024Updated 2 years ago
- ☆12Nov 8, 2025Updated 10 months ago
- A discord bot which helps speed up migration VOJ problems to Codeforces by using polygon, codeforces APIs.☆21Aug 20, 2022Updated 4 years ago
- A browser extension for Codeforces rating prediction☆160Mar 8, 2025Updated last year
- Script and library to wait for a DNS authority server to get its configuration.☆15Oct 21, 2021Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Yet another Computer Science website☆28Feb 15, 2022Updated 4 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Efficient and seamless cross-process communication for Rust☆33Aug 23, 2026Updated 3 weeks ago
- How I take care of my personal dotfiles☆12Feb 26, 2022Updated 4 years ago
- ☆12Updated this week
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago