ice1000 / OI-codesLinks
Solutions for online code challenges. Don't be evil.
☆14Updated 6 years ago
Alternatives and similar repositories for OI-codes
Users that are interested in OI-codes are comparing it to the libraries listed below
Sorting:
- My slides and notes☆138Updated 2 years ago
- the compiler for the Cm programming language☆31Updated 7 years ago
- A free, open-source Online Judge alternative. Coding Magic.☆13Updated last year
- 王者自由维护的 CmYkRgB123 在线评测系统,文件IO,支持评测插件和提交答案☆61Updated 8 years ago
- 编译原理相关的工作岗位收集☆87Updated 6 years ago
- A Castle game, based on https://github.com/ice1000/Castle-game, with capable GUI and CUI runner☆16Updated 8 years ago
- https://openpal.github.io/TypeAndProof/☆99Updated 8 years ago
- ☆19Updated 7 years ago
- 《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版☆212Updated 2 weeks ago
- ☆43Updated 6 months ago
- only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy☆52Updated 2 years ago
- A multi-paradigm programming language running on JVM☆129Updated 7 years ago
- 19 学竞赛,49 入国军☆125Updated 5 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 5 years ago
- ☆99Updated 6 years ago
- A Brainfuck interpreter written by Brainfuck.☆58Updated 6 years ago
- Code for my blog☆11Updated 8 years ago
- Just for fun, 114594☆17Updated 5 years ago
- Anti-Indulged for IntelliJ Platform (AI4IJ)☆26Updated 4 years ago
- A blog built by using Koa2+Sequelize+EJS+Semantic UI☆15Updated 2 years ago
- A tiny judging environment for OI contest☆34Updated 6 years ago
- codes written while learning them.☆46Updated 5 years ago
- ntype cafe summer school resources☆140Updated last year
- _Rqy's Local Judge for OIers and ACMers.☆42Updated 6 years ago
- 入墨答Rumbda, the Chinese expression of lambda calculus☆64Updated 2 years ago
- A toy xmonad☆31Updated 5 years ago
- THUPC(Tsinghua University Programming Competition)2019☆61Updated 6 years ago
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Updated 13 years ago
- An OnlineJudge System for OI and ACM/icpc☆33Updated 6 years ago
- A software renderer.☆17Updated 3 years ago