The offline version of acm-compiler-judge
☆13May 16, 2019Updated 7 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 8 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 7 years ago
- Lecture notes of Probability Theory.☆52Jun 20, 2018Updated 8 years ago
- Toy Compiler for Compiler 2016 Course☆91May 18, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- http://spider.oscardhc.com☆13Jul 9, 2020Updated 6 years ago
- A website for game AI battle.☆12Apr 28, 2016Updated 10 years ago
- Course material for "Numerical Methods for Data Science" (SJTU, summer 2018)☆40Jul 6, 2018Updated 8 years ago
- A MIPS CPU implemented in Verilog☆75Sep 12, 2017Updated 9 years ago
- SJTU Computer Architecture(1) Hw☆14Jan 12, 2018Updated 8 years ago
- A RISC-V simulator☆37Aug 27, 2023Updated 3 years ago
- A service for launching containerized processes on cloud infrastructure.☆12Nov 16, 2023Updated 2 years ago
- SSA vs ANF☆49Jul 20, 2015Updated 11 years ago
- Extensible backend of software mirror☆30Sep 14, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆11May 17, 2021Updated 5 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- ☆23Oct 30, 2019Updated 7 years ago
- 北航计算机组成原理课设基于MIPS小CPU设计☆11Apr 12, 2021Updated 5 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆13Oct 19, 2023Updated 3 years ago
- ☆12Apr 18, 2019Updated 7 years ago
- Verify CPU circuits in Logisim or Verilog against MARS simulation☆10Dec 31, 2020Updated 5 years ago
- MPC Simulation Framework☆24Jan 7, 2023Updated 3 years ago
- ☆19May 11, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This is the repository for the CMU course 67-300: Search Engines☆11Nov 8, 2023Updated 2 years ago
- A Homework for Computer Architecture at SJTU☆14Jan 4, 2020Updated 6 years ago
- ☆22Oct 3, 2022Updated 4 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☆12Jun 15, 2025Updated last year
- UCSD CSE231 Advanced Compiler - LLVM project☆12Mar 28, 2017Updated 9 years ago
- A great tutorial that gives you a sufficient understanding of the recommendation system☆11Mar 21, 2020Updated 6 years ago
- Yet another python JIT.☆20Mar 22, 2023Updated 3 years ago
- Simple and modular write-ahead-logging implementation.☆25Feb 6, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Distributed hash table using a chord☆27Apr 17, 2018Updated 8 years ago
- Functional expressions interpreter and compiler infrastructure☆22Updated this week
- Pretty printing library for SQL☆24Jun 24, 2023Updated 3 years ago
- Discussion Notes, SU2020 VE280: Programming and Data Structure, SJTU.☆13Dec 27, 2020Updated 5 years ago
- Term project for TaPL. A mini coq-like proof assistant.☆17Jun 17, 2018Updated 8 years ago
- NJU大数据实验☆11Dec 13, 2023Updated 2 years ago
- A generic proxy for SCTP☆22Aug 22, 2016Updated 10 years ago