☆47Feb 2, 2019Updated 7 years ago
Alternatives and similar repositories for dreadnought-code-library
Users that are interested in dreadnought-code-library are comparing it to the libraries listed below
Sorting:
- ☆114Jan 24, 2020Updated 6 years ago
- ☆67Jun 1, 2020Updated 5 years ago
- A C++ SMT/OMT Parser Library☆23Mar 14, 2026Updated last week
- The index for acmer group. Licensed under CC BY-NC-SA 4.0☆91Updated this week
- C++ Library for Competitive Programming☆13Jan 25, 2026Updated last month
- ☆31Feb 24, 2024Updated 2 years ago
- For ACM-ICPC☆37Jan 22, 2024Updated 2 years ago
- BZOJ题解合集,欢迎提交PR☆13Apr 13, 2018Updated 7 years ago
- New TIOJ Judge Client☆15Mar 10, 2026Updated last week
- Malicious code that Vijos judged.☆198Oct 22, 2021Updated 4 years ago
- 收集神仙OIer们的粉丝群群号☆10Nov 15, 2020Updated 5 years ago
- Code templates and slides for ICPCCamp 2017, Feb 13, Beijing.☆53Feb 15, 2017Updated 9 years ago
- 这里有着计算机考研408的详细路线,每个月的学习规划和所有视频书籍资源,计算机考研必看仓库☆10Jun 7, 2022Updated 3 years ago
- Quotations for oi☆37May 7, 2024Updated last year
- LATEX package for creating statements for programming contest problems☆125Jan 31, 2024Updated 2 years ago
- Example project for JHelper☆14Nov 28, 2018Updated 7 years ago
- 一个用于算法竞赛的在线评测系统。An online judge system for algorithm competition.☆908Aug 2, 2023Updated 2 years ago
- ☆11Apr 5, 2021Updated 4 years ago
- An OIer's Adventure-Strategy Game Engine☆15Mar 17, 2018Updated 8 years ago
- ☆18Oct 30, 2020Updated 5 years ago
- Documents about setting up ICPC contest environment☆98Nov 16, 2023Updated 2 years ago
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆23Feb 10, 2026Updated last month
- aabbyy training☆11Jun 7, 2020Updated 5 years ago
- some 3D animation in neovim☆12Oct 30, 2023Updated 2 years ago
- Simple python script converting polygon package to domjudge(kattis) package☆53Jan 28, 2026Updated last month
- CS169.1x Software as a Service course offered by UC Berkeley at edx.org☆14Oct 28, 2014Updated 11 years ago
- ☆122Oct 15, 2021Updated 4 years ago
- ☆13Jan 22, 2025Updated last year
- IP签名档显示IP、地址、日期······☆23Jul 2, 2025Updated 8 months ago
- Translation commands of Neovim using DeepL API☆13Sep 9, 2023Updated 2 years ago
- Get prayer time displayed in neovim☆34Mar 3, 2026Updated 2 weeks ago
- 願人類榮耀長存!Glory to Mankind!☆10Jul 19, 2023Updated 2 years ago
- ☆19Jul 19, 2018Updated 7 years ago
- Models (and data) of constrained problems developped with the library PyCSP3☆14Dec 15, 2025Updated 3 months ago
- Code Snippets for Competitive Programming☆19Oct 27, 2025Updated 4 months ago
- XCPC_Rating☆23Jun 3, 2021Updated 4 years ago
- A fuzzer for SMT solvers☆21Aug 22, 2025Updated 6 months ago
- ☆12Aug 10, 2018Updated 7 years ago
- Codes for MO's Trading☆15Mar 20, 2022Updated 4 years ago