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:
- 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
- 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
- Craft a toy compiler☆10Aug 21, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Lecture notes of Probability Theory.☆49Jun 20, 2018Updated 7 years ago
- ACM Class 2017 Computer Architecture☆10Jan 11, 2018Updated 8 years ago
- Single file interpreter (or naive virtual machine) for my intermediate representation. SSA support has been added.☆15Apr 27, 2016Updated 10 years ago
- Toy Compiler for Compiler 2016 Course☆91May 18, 2016Updated 9 years ago
- http://spider.oscardhc.com☆12Jul 9, 2020Updated 5 years ago
- Course material for "Numerical Methods for Data Science" (SJTU, summer 2018)☆40Jul 6, 2018Updated 7 years ago
- SJTU Computer Architecture(1) Hw☆14Jan 12, 2018Updated 8 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 2023Updated 3 years ago
- A RISC-V simulator☆37Aug 27, 2023Updated 2 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.
- ⛵ A distributed key-value store based on Raft. (WIP)☆45May 1, 2020Updated 6 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☆30Mar 23, 2025Updated last year
- ☆11Mar 19, 2022Updated 4 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- 简易TCP/IP协议栈,支持TCP、UDP,支持DHCP动态获取IP,支持keep_alive等☆24Mar 30, 2018Updated 8 years ago
- MPC Simulation Framework☆24Jan 7, 2023Updated 3 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 8 years ago
- ☆19May 11, 2020Updated 5 years ago
- Concise tutorials for distributed training using PyTorch☆10Apr 18, 2023Updated 3 years ago
- A Homework for Computer Architecture at SJTU☆14Jan 4, 2020Updated 6 years ago
- ☆17Oct 24, 2018Updated 7 years ago
- 🚆 Fine-grained analysis and visualization of Hangzhou Metro for efficient traveling in metro system. Project report, slide and presentat…☆22May 3, 2020Updated 6 years ago
- Computer Papers☆11Jun 15, 2025Updated 10 months ago
- UCSD CSE231 Advanced Compiler - LLVM project☆12Mar 28, 2017Updated 9 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.
- ☆22Oct 3, 2022Updated 3 years ago
- Kubernetes Tutorial for the PS2 group meetings at UC Berkeley☆16Mar 23, 2023Updated 3 years ago
- The solutions to the assignments of the cs193p course, covering SwiftUI.☆13Mar 6, 2024Updated 2 years ago
- A generic proxy for SCTP☆20Aug 22, 2016Updated 9 years ago
- ☆17Nov 10, 2021Updated 4 years ago
- ☆33Apr 19, 2025Updated last year
- Yet another python JIT.☆20Mar 22, 2023Updated 3 years ago