The offline version of acm-compiler-judge
☆13May 16, 2019Updated 6 years ago
Alternatives and similar repositories for compiler-offline-judge
Users that are interested in compiler-offline-judge are comparing it to the libraries listed below
Sorting:
- An implementation of the Raft consensus protocol.☆14Aug 6, 2018Updated 7 years ago
- A compiler for course Compiler 2019☆16Jan 9, 2020Updated 6 years ago
- ☆15Nov 24, 2018Updated 7 years ago
- My personal solutions to some textbook problems☆10Feb 12, 2020Updated 6 years ago
- Craft a toy compiler☆10Aug 21, 2019Updated 6 years ago
- http://spider.oscardhc.com☆12Jul 9, 2020Updated 5 years ago
- Lecture notes of Probability Theory.☆49Jun 20, 2018Updated 7 years ago
- Fantasy Ptrace☆23Mar 14, 2018Updated 7 years ago
- Single file interpreter (or naive virtual machine) for my intermediate representation. SSA support has been added.☆15Apr 27, 2016Updated 9 years ago
- Course material for "Numerical Methods for Data Science" (SJTU, summer 2018)☆40Jul 6, 2018Updated 7 years ago
- ACM Class 2017 Computer Architecture☆10Jan 11, 2018Updated 8 years ago
- Toy Compiler for Compiler 2016 Course☆91May 18, 2016Updated 9 years ago
- A MIPS CPU implemented in Verilog☆70Sep 12, 2017Updated 8 years ago
- A website for game AI battle.☆12Apr 28, 2016Updated 9 years ago
- SJTU Computer Architecture(1) Hw☆14Jan 12, 2018Updated 8 years ago
- A RISC-V simulator☆38Aug 27, 2023Updated 2 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 2023Updated 2 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- Concise tutorials for distributed training using PyTorch☆10Apr 18, 2023Updated 2 years ago
- The solutions to the assignments of the cs193p course, covering SwiftUI.☆12Mar 6, 2024Updated last year
- A great tutorial that gives you a sufficient understanding of the recommendation system☆10Mar 21, 2020Updated 5 years ago
- Verify CPU circuits in Logisim or Verilog against MARS simulation☆10Dec 31, 2020Updated 5 years ago
- 非官方 TiDB 百科,目标收录所有 TiDB 开发/维护/使用过程中可能会碰到的 概念/配置项/其他 等等。☆10Jan 21, 2022Updated 4 years ago
- Computer Papers☆11Jun 15, 2025Updated 8 months ago
- This is the repository for the CMU course 67-300: Search Engines☆11Nov 8, 2023Updated 2 years ago
- UCSD CSE231 Advanced Compiler - LLVM project☆12Mar 28, 2017Updated 8 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- Luna's Magic Reference☆50Sep 8, 2023Updated 2 years ago
- AIGC 算法工程师面试题汇总☆22May 20, 2025Updated 9 months ago
- ☆12Apr 18, 2019Updated 6 years ago
- For COD course in USTC, on 2020 Spring, prof. Chao Wang☆10Sep 18, 2020Updated 5 years ago
- Collection of notes and resources I created for some of the classes I took at CMU.☆14Jul 6, 2021Updated 4 years ago
- This repository is used to release the Labs of Computer Architecture Course from USTC☆14Mar 30, 2019Updated 6 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Oct 22, 2017Updated 8 years ago
- ☆17Oct 24, 2018Updated 7 years ago
- BUAA 2019年 CO相关代码 笔者比较弱,最终只到达P7,即mips指令集下50条指令5级流水线+异常中断的cpu 当年测的时候p7强测也ak了,但不保证完全无bug 仅供参考。 原谅笔者当时还没有整理的习惯,遂不确定上传的p7是否是最终版本(溜)(况且卸载了不知道…☆16Dec 30, 2021Updated 4 years ago
- Discussion Notes, SU2020 VE280: Programming and Data Structure, SJTU.☆13Dec 27, 2020Updated 5 years ago
- hyperloglog counts things using the HyperLogLog algorithm to estimate cardinality☆32Aug 4, 2022Updated 3 years ago
- Recitation class lecture notes for VE280☆17Dec 25, 2022Updated 3 years ago