The Ultimate Online Judge Platform.
☆20Mar 23, 2026Updated 2 months ago
Alternatives and similar repositories for aoi
Users that are interested in aoi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆75Oct 31, 2024Updated last year
- PKU Elective | 北大傻瓜化自动选课☆32Feb 14, 2024Updated 2 years ago
- A web-based platform that provides live streaming of classroom sessions at Zhejiang University.☆17Jan 3, 2026Updated 5 months ago
- ☆73Oct 26, 2023Updated 2 years ago
- Project Guiding Star: The Frontend☆16Nov 2, 2025Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- eweOS main package repository☆26Updated this week
- A new and improved fork of Orwell Dev-C++☆25Jun 20, 2021Updated 4 years ago
- Elegant maps and elements of Nanjing Metro☆30Jan 11, 2026Updated 5 months ago
- a layer-3 network ingress manager for (home)lab.☆42Apr 18, 2026Updated last month
- ☆17Dec 12, 2023Updated 2 years ago
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆11Apr 7, 2025Updated last year
- [DEPRECATED] Helper for https://github.com/taiki-e/cargo-llvm-cov/issues/123.☆11Jan 18, 2025Updated last year
- ☆14Oct 30, 2024Updated last year
- A High-performance Timing Analysis Tool for VLSI Systems☆10Feb 11, 2021Updated 5 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.
- proof of concepts and experimental code for TFHE☆21Feb 18, 2020Updated 6 years ago
- An open-source online judge for ACM/ICPC & Olympiad in Informatics☆63Oct 2, 2014Updated 11 years ago
- 一些学习Python的小游戏，小项目。☆15Feb 7, 2020Updated 6 years ago
- 浙江大学 2023-2024 秋冬学期 《数字逻辑设计》大作业☆19Feb 20, 2024Updated 2 years ago
- A library to parse BLIF (Berkeley Logic Interchange Format) files.☆10Mar 11, 2015Updated 11 years ago
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 11 months ago
- Intelligent mirror redirector middleware for SJTUG☆23May 2, 2026Updated last month
- Project Guiding Star: The Backend☆36Nov 2, 2025Updated 7 months ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆11Mar 20, 2025Updated last year
- 🕹 Implementation for the lesson Compiling Engineering(2020 Spring) in Peking University, adjusted from UCLA CS 132 Project.☆10Jun 21, 2020Updated 5 years ago
- Utilities for paper writing.☆12Jan 11, 2026Updated 4 months ago
- Universal Online Judge (UOJ) 样题☆11Sep 23, 2022Updated 3 years ago
- Transfer your file from an air-gapped device to another, using only qrcode, no wifi/usb/bluetooth needed.☆17May 7, 2026Updated last month
- 一个漏洞采集与推送服务☆18Sep 20, 2024Updated last year
- Write games use jok(zig) through MoonBit(wasm).☆16Mar 24, 2025Updated last year
- Write, compile and run WebAssembly text mode in the browser☆16May 16, 2026Updated 3 weeks ago
- 让我们一起膜神树吧☆27Nov 29, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An upgraded version of Kantumruy.☆13Jan 13, 2024Updated 2 years ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- Mechanized baselines for various type system features☆18Apr 14, 2026Updated last month
- A Python library to add reconstructed pronunciations of Middle Chinese on Chinese texts☆11Mar 13, 2023Updated 3 years ago
- openconnect fork with OS X keychain support☆15Oct 5, 2019Updated 6 years ago
- A lightweight, WebAssembly-native Canister Development Kit (CDK) for building smart contracts on the Internet Computer (ICP) with the Moo…☆20Dec 9, 2025Updated 6 months ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Apr 3, 2026Updated 2 months ago