Preparation materials for ACM ICPC
☆44Jun 25, 2026Updated last month
Alternatives and similar repositories for ACM_ICPC_Materials
Users that are interested in ACM_ICPC_Materials are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Official Website for The Open Source Club at the Ohio State University☆20Dec 23, 2025Updated 7 months ago
- Resources for Competitive Programming☆17Jul 20, 2023Updated 3 years ago
- My solutions to problems from some online judges, as spoj and uva☆13Nov 20, 2021Updated 4 years ago
- a fully functional E-commerce RESTful API built with Asp.net☆12Sep 28, 2024Updated last year
- Training for programming contests☆33Oct 22, 2019Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 years ago
- A graphical view of the relationships between github users.☆38Oct 11, 2019Updated 6 years ago
- 人人好友关系网络☆35Feb 1, 2016Updated 10 years ago
- 376A☆13Dec 23, 2021Updated 4 years ago
- It contains TCS Codevita questions and solutions☆32Oct 30, 2019Updated 6 years ago
- Code for my blog☆10Feb 26, 2017Updated 9 years ago
- ☆12Aug 10, 2022Updated 4 years ago
- CMU-CSAPP-LAB 原始文件+完成代码+文字攻略(过程记录手稿第一版)☆58May 30, 2017Updated 9 years ago
- Official code repository for the paper: AbsPyramid: Benchmarking the Abstration Ability of Language Models with a Unified Entailment Grap…☆13Oct 30, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [EMNLP'25] AutoSDT is a fully automatic pipeline to collect data-driven scientific coding tasks to train co-scientist models.☆21Aug 11, 2025Updated last year
- Kunj Mehta's Portfolio☆11Jan 20, 2025Updated last year
- 2019算法大赛-pv/uv流量预测和Session分析☆14Jul 6, 2023Updated 3 years ago
- 🌈 Custom color scheme for github contribution bar. Created by @gigaflw☆34Nov 14, 2018Updated 7 years ago
- Contribute on this repository with valid pull request☆27Nov 1, 2022Updated 3 years ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆12Oct 3, 2020Updated 5 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 5 years ago
- Next Generation MahoNato Telegram Bot.☆32Sep 20, 2022Updated 3 years ago
- 暴力膜蛤☆178Nov 30, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 3 years ago
- Simple JavaScript interpreter, using python. c++ version: https://code.google.com/p/tiny-js/☆17Dec 20, 2014Updated 11 years ago
- Py2Nim is a tool to translate Python code to Nim. The output is human-readable Nim code, meant to be tweaked by hand after the translatio…☆14Dec 30, 2021Updated 4 years ago
- My ACM/ICPC Template☆71Jul 9, 2014Updated 12 years ago
- A ppx rewriter that generates hash functions from type expressions and definitions☆16Jul 10, 2026Updated last month
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- We use an adversarial expert based online learning algorithm to learn the optimal parameters required to maximise wealth trading zero-cos…☆11Apr 8, 2020Updated 6 years ago
- ☆14Jul 24, 2021Updated 5 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Chemoinformatics tool for ligand-based virtual screening☆19Jan 11, 2023Updated 3 years ago
- Evaluation codes of "From Images to Textual Prompts: Zero-shot VQA with Frozen Large Language Models".☆18May 15, 2023Updated 3 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- ☆13Aug 25, 2023Updated 2 years ago
- All tutorials of lightoj online judge that are found, added in this repositories .☆12Jan 29, 2021Updated 5 years ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- 天池精准医疗大赛——人工智能辅助糖尿病遗传风险预测, 代码及总结☆24Jan 30, 2018Updated 8 years ago