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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A compiler for course Compiler 2019☆16Jan 9, 2020Updated 6 years ago
- Public repository for "Numerical Methods for Data Science" (SJTU, May-June 2019)☆18Jun 13, 2019Updated 6 years ago
- My personal solutions to some textbook problems☆11Feb 12, 2020Updated 6 years ago
- Fantasy Ptrace☆23Mar 14, 2018Updated 8 years ago
- Toy Compiler for Compiler 2016 Course☆91May 18, 2016Updated 9 years ago
- http://spider.oscardhc.com☆12Jul 9, 2020Updated 5 years ago
- A MIPS CPU implemented in Verilog☆70Sep 12, 2017Updated 8 years ago
- SJTU Computer Architecture(1) Hw☆14Jan 12, 2018Updated 8 years ago
- A RISC-V simulator☆38Aug 27, 2023Updated 2 years ago
- Luna's Magic Reference☆50Sep 8, 2023Updated 2 years ago
- ⛵ A distributed key-value store based on Raft. (WIP)☆45May 1, 2020Updated 5 years ago
- SSA vs ANF☆47Jul 20, 2015Updated 10 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- Extensible backend of software mirror☆29Mar 23, 2025Updated last year
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- 非官方 TiDB 百科,目标收录所有 TiDB 开发/维护/使用过程中可能会碰到的 概念/配置项/其他 等等。☆10Jan 21, 2022Updated 4 years ago
- 简易TCP/IP协议栈,支持TCP、UDP,支持DHCP动态获取IP,支持keep_alive等☆24Mar 30, 2018Updated 7 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- Verify CPU circuits in Logisim or Verilog against MARS simulation☆10Dec 31, 2020Updated 5 years ago
- Distributed hash table using a chord☆27Apr 17, 2018Updated 7 years ago
- Concise tutorials for distributed training using PyTorch☆10Apr 18, 2023Updated 2 years ago
- Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem☆92Jan 4, 2016Updated 10 years ago
- ☆17Oct 24, 2018Updated 7 years ago
- This is the repository for the CMU course 67-300: Search Engines☆11Nov 8, 2023Updated 2 years ago
- Computer Papers☆11Jun 15, 2025Updated 9 months ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Oct 22, 2017Updated 8 years ago
- UCSD CSE231 Advanced Compiler - LLVM project☆12Mar 28, 2017Updated 8 years ago
- Releasing the spot availability traces used in "Can't Be Late" paper.☆25Mar 31, 2024Updated last year
- ☆22Oct 3, 2022Updated 3 years ago
- The solutions to the assignments of the cs193p course, covering SwiftUI.☆12Mar 6, 2024Updated 2 years ago
- A generic proxy for SCTP☆20Aug 22, 2016Updated 9 years ago
- ☆17Nov 10, 2021Updated 4 years ago
- ☆32Apr 19, 2025Updated 11 months ago
- Simple and modular write-ahead-logging implementation.☆25Feb 6, 2024Updated 2 years ago
- doppioDB - A hardware accelerated database☆51May 2, 2017Updated 8 years ago
- [Abandoned] A toy asynchronous server, written in C++14☆20Sep 5, 2017Updated 8 years ago
- A collection of reproducible inference engine benchmarks☆38Apr 22, 2025Updated 11 months ago
- ☆23May 10, 2023Updated 2 years ago
- Functional expressions interpreter and compiler infrastructure☆22Mar 9, 2026Updated 2 weeks ago