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☆139Updated 2 years ago
- the compiler for the Cm programming language☆31Updated 7 years ago
- ☆43Updated 7 months ago
- A free, open-source Online Judge alternative. Coding Magic.☆13Updated 2 years ago
- https://openpal.github.io/TypeAndProof/☆99Updated 8 years ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆212Updated last week
- 王者自由维护的 CmYkRgB123 在线评测系统，文件IO，支持评测插件和提交答案☆61Updated 8 years ago
- Code for my blog☆11Updated 8 years ago
- _rqy's codes of OI problems.☆27Updated 7 years ago
- 编译原理相关的工作岗位收集☆87Updated 6 years ago
- only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy☆52Updated 2 years ago
- 恋学，全称Cre的恋爱学☆46Updated 2 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 5 years ago
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Updated 13 years ago
- [WIP] BREAD operate system based on X86_64☆50Updated 4 years ago
- ntype cafe summer school resources☆141Updated last year
- ☆14Updated 7 years ago
- ☆19Updated 7 years ago
- 入墨答Rumbda, the Chinese expression of lambda calculus☆64Updated 2 years ago
- A toy xmonad☆31Updated 5 years ago
- 计蒜客软工外包事件记录☆38Updated 5 years ago
- ☆25Updated 8 years ago
- Anti-Indulged for IntelliJ Platform (AI4IJ)☆26Updated 4 years ago
- Just for fun, 114594☆17Updated 5 years ago
- A blog built by using Koa2+Sequelize+EJS+Semantic UI☆15Updated 2 years ago
- 19 学竞赛，49 入国军☆125Updated 5 years ago
- A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog☆22Updated 7 years ago
- 有针对性地表达自己的崇敬之心☆37Updated 8 years ago
- icey Local Judge☆19Updated 6 years ago
- A Castle game, based on https://github.com/ice1000/Castle-game, with capable GUI and CUI runner☆16Updated 8 years ago