Standard Code Library for Nanjing University ACM/ICPC Team
☆61Oct 24, 2017Updated 8 years ago
Alternatives and similar repositories for code-library-legacy
Users that are interested in code-library-legacy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Standard Code Library for Nanjing University ACM/ICPC Team☆47Jan 29, 2022Updated 4 years ago
- A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…☆16Jun 17, 2020Updated 5 years ago
- Code templates and slides for ICPCCamp 2017, Feb 13, Beijing.☆53Feb 15, 2017Updated 9 years ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Dec 5, 2022Updated 3 years ago
- 南京大学计算机系数理逻辑课程资料☆80Jun 25, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Some undergraduate math notes☆17Nov 2, 2020Updated 5 years ago
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 9 years ago
- This project is to create a ICPC Code Templat tex automatically☆46Jun 5, 2019Updated 7 years ago
- ACM 模板库☆342Jun 29, 2020Updated 5 years ago
- Code for paper: "Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines"☆11Oct 11, 2024Updated last year
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Subscribe URLs with custom UA, cookie and referer☆16May 18, 2017Updated 9 years ago
- Some practical gadgets. ✔☆10Apr 2, 2026Updated 2 months ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Wavator's ACM code template☆29Jun 8, 2019Updated 7 years ago
- 我ac了的部分题目源码及一些算法论文整理☆26Oct 22, 2019Updated 6 years ago
- ☆70Jun 8, 2020Updated 6 years ago
- 南京大学山寨毕业论文模版☆140Jan 16, 2019Updated 7 years ago
- Standard Code Library for *Call It Magic*☆30Oct 11, 2016Updated 9 years ago
- ☆86Jan 29, 2022Updated 4 years ago
- A command-line tool to generate Online-Judge problem.☆12Apr 14, 2023Updated 3 years ago
- A tool for CN XCPC contests☆42Apr 3, 2026Updated 2 months ago
- ☆13Apr 3, 2025Updated last year
- 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.
- A Memory-efficient Graph Store for Interactive Queries☆13Sep 1, 2021Updated 4 years ago
- ☆19Apr 18, 2026Updated last month
- 简单粗暴的教学立方辅助Chrome插件☆46Nov 2, 2020Updated 5 years ago
- Make git commits with pretty hashes☆30Aug 4, 2020Updated 5 years ago
- Project containing examples on how to use AiFi's Public Dataset on People Shopping☆11May 22, 2023Updated 3 years ago
- To help you punch automatically in luogu☆25Dec 8, 2025Updated 6 months ago
- [ICML 2025] Differentiable Solver Search for Fast Diffusion Sampling☆21Jul 7, 2025Updated 11 months ago
- [ICME 2023] FlowText: Synthesizing Realistic Scene Text Video with Optical Flow Estimation☆13May 13, 2023Updated 3 years ago
- 石蒜摇摇乐vscode插件☆13Aug 31, 2022Updated 3 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.
- This repository contains the implementation of the paper "MeteoRA: Multiple-tasks Embedded LoRA for Large Language Models".☆26May 28, 2025Updated last year
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 4 months ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 2 years ago
- A collection of notable radio frequencies near Philadelphia PA and beyond☆15Aug 23, 2018Updated 7 years ago
- CYaRon: Yet Another Random Olympic-iNformatics test data generator☆1,638Mar 21, 2026Updated 2 months ago
- A Goldennum Game battleground.☆11Mar 6, 2023Updated 3 years ago
- A Verified Implementation of Dijkstra's Algorithm☆18Mar 2, 2021Updated 5 years ago