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
- ☆15Nov 24, 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Craft a toy compiler☆10Aug 21, 2019Updated 6 years ago
- Lecture notes of Probability Theory.☆49Jun 20, 2018Updated 7 years ago
- Fantasy Ptrace☆23Mar 14, 2018Updated 8 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 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
- A MIPS CPU implemented in Verilog☆71Sep 12, 2017Updated 8 years ago
- SJTU Computer Architecture(1) Hw☆14Jan 12, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- [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
- ⛵ A distributed key-value store based on Raft. (WIP)☆45May 1, 2020Updated 5 years ago
- SSA vs ANF☆47Jul 20, 2015Updated 10 years ago
- Extensible backend of software mirror☆29Mar 23, 2025Updated last year
- ☆11Mar 19, 2022Updated 4 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- 非官方 TiDB 百科，目标收录所有 TiDB 开发/维护/使用过程中可能会碰到的 概念/配置项/其他 等等。☆10Jan 21, 2022Updated 4 years ago
- ☆12Apr 18, 2019Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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
- ☆19May 11, 2020Updated 5 years ago
- Concise tutorials for distributed training using PyTorch☆10Apr 18, 2023Updated 2 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 5 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Oct 22, 2017Updated 8 years ago
- Computer Papers☆11Jun 15, 2025Updated 9 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆22Oct 3, 2022Updated 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
- ☆32Apr 19, 2025Updated 11 months ago
- Simple and modular write-ahead-logging implementation.☆25Feb 6, 2024Updated 2 years ago
- Discussion Notes, SU2020 VE280: Programming and Data Structure, SJTU.☆13Dec 27, 2020Updated 5 years ago