Solutions for online code challenges. Don't be evil.
☆15Jan 5, 2019Updated 7 years ago
Alternatives and similar repositories for OI-codes
Users that are interested in OI-codes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is a codeless and useless repo.☆14Jul 5, 2018Updated 8 years ago
- An Android UI framework for chatting APPs.☆17May 10, 2016Updated 10 years ago
- Java&Kotlin Castle game(RPG)☆15Aug 20, 2016Updated 10 years ago
- Android Studio VS Eclipse, an Android game based on JustWe☆11May 12, 2017Updated 9 years ago
- An Android app for learning of programming.☆10Aug 24, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Theorems that rule this multiverse☆11Oct 6, 2018Updated 8 years ago
- Ange for Another Generator.☆13Mar 26, 2016Updated 10 years ago
- A set of Gui tools for ruby. My first gem....☆16May 26, 2017Updated 9 years ago
- This is a Project that can Auto AC.☆22Jul 5, 2019Updated 7 years ago
- A free, open-source Online Judge alternative. Coding Magic.☆13Aug 10, 2023Updated 3 years ago
- 开源的信息学竞赛在线评测系统。An open-source online judge system for Olympiad in Informatics. Powered by PHP, Docker, Python, and more.☆18May 31, 2016Updated 10 years ago
- Code for my blog☆10Feb 26, 2017Updated 9 years ago
- A type-driven and high-performance ORM framework in Rust☆31Jun 13, 2025Updated last year
- 这是一个基于 OpenCV 4 和 Qt 5 的人脸识别小demo☆11Feb 13, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Very Naive MIPS CPU using Clash☆31Oct 17, 2021Updated 5 years ago
- Code for "Bridging the Domain Gaps in Context Representations for $k$-Nearest Neighbor Neural Machine Translation" (ACL 2023)☆10Oct 7, 2023Updated 3 years ago
- ☆19Feb 19, 2018Updated 8 years ago
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- JVM game engine based on Swing/JavaFX.☆350Dec 28, 2019Updated 6 years ago
- ☆12May 23, 2022Updated 4 years ago
- A Jekyll Blog☆13Jul 22, 2023Updated 3 years ago
- A pacman wrapper that helps you watch important package updates.☆25Jul 25, 2026Updated 3 months ago
- RPG☆17Oct 9, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Segment Tree Template | Please go to https://github.com/ouuan/CPTH☆12Apr 24, 2020Updated 6 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Oct 12, 2026Updated 3 weeks ago
- Exploration of the Piece Table data structure in Haskell☆10Mar 17, 2017Updated 9 years ago
- Resume (template) written in Typst☆11Aug 13, 2026Updated 2 months ago
- My Agda/Mikan stuff☆13Oct 23, 2026Updated 2 weeks ago
- Parser combinators in Rust☆12Oct 3, 2026Updated last month
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 4 years ago
- DPLL boolean satisfiability solver for .NET☆10Updated this week
- ☆11Sep 15, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Agda formalisation of FOTC (First-Order Theory of Combinators).☆13Aug 25, 2026Updated 2 months ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- A WeChat bot with GPTs and Diffusion Models☆19Jul 2, 2023Updated 3 years ago
- QUIC based speed test app☆13Apr 24, 2021Updated 5 years ago
- ☆12Feb 21, 2022Updated 4 years ago
- ☆10Dec 31, 2018Updated 7 years ago
- 脑洞，让自己的生活更美好。☆11Jul 23, 2020Updated 6 years ago