SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.
☆12Dec 5, 2022Updated 3 years ago
Alternatives and similar repositories for OnlineJudge
Users that are interested in OnlineJudge 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 demo 1-to-1 implementation with high availability in Golang for Raft, based on 6.824's raft labs. (NJU dissys course's lab code)☆13Dec 30, 2021Updated 4 years ago
- UIUC CS 199 EMP (paired with CS 125) Slide Website for Spring 2021 and Fall 2020☆10Oct 14, 2022Updated 3 years ago
- LaTeX support for Creative Commons icons☆13Apr 18, 2026Updated 3 weeks ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- 南京大学本科毕业论文模板☆13Jun 1, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- High level overview of Rust☆19Oct 13, 2021Updated 4 years ago
- a mirror of NJU PA☆11Oct 21, 2019Updated 6 years ago
- A Goldennum Game battleground.☆11Mar 6, 2023Updated 3 years ago
- Website of Yi-Zhuang You's Research Group☆17Apr 30, 2026Updated last week
- 输入wav文件，输出其简谱（较粗糙）☆10Jun 29, 2018Updated 7 years ago
- NJU-IT侠社团网站系统，包括预约和后台等等...☆16May 11, 2022Updated 3 years ago
- Standard Code Library for Nanjing University ACM/ICPC Team☆61Oct 24, 2017Updated 8 years ago
- Slides for my course "General Biology".☆13May 1, 2026Updated last week
- C++ Template Manipulation Library☆33Dec 17, 2014Updated 11 years ago
- 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.
- Add on-site SOC to Wannier Hamiltonian.☆19Mar 24, 2021Updated 5 years ago
- 一版使用XeLaTeX整理過的精排版的微積溯源☆21Jan 13, 2024Updated 2 years ago
- Weekly builds of https://github.com/jupyter-xeus/xeus-cling.☆10Feb 26, 2023Updated 3 years ago
- Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.☆19Jul 9, 2020Updated 5 years ago
- Demonstrate basic but typical physical properties of symmetry-protected non-trivial states in single-particle or mean-field level.☆14Mar 11, 2021Updated 5 years ago
- 3D model for HKUST Redbird (Sundial)☆18Oct 12, 2022Updated 3 years ago
- WebRTC Research☆14Jul 15, 2020Updated 5 years ago
- Code repository of JB Online multi-purpose forum.☆19Aug 11, 2021Updated 4 years ago
- 基于 Google Scholar 的论文他引次数统计。☆14Dec 8, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- This Hugo theme provides many functions which can help you build a well-organized personal site.☆14Apr 30, 2020Updated 6 years ago
- ☆13Jun 25, 2020Updated 5 years ago
- Small PDF manipulation scripts☆16Apr 16, 2025Updated last year
- ☆27Jun 24, 2022Updated 3 years ago
- 服务质量监控，javaagent+asm☆16Jun 17, 2022Updated 3 years ago
- tonovel项目的前端，使用vue开发☆16Dec 12, 2022Updated 3 years ago
- Programming labs for 6.S060 (Foundations of Computer Security).☆15Nov 19, 2021Updated 4 years ago
- CMU 15411 Computer Networks Projects☆30May 17, 2013Updated 12 years ago
- Yet another online judge, built with ASP.NET Core, Angular and Isolate.☆22Mar 7, 2023Updated 3 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.
- Code for "Building an Efficient Key-Value Store in a Flexible Address Space" (EuroSys '22)☆24Mar 17, 2025Updated last year
- verilog modules☆15May 4, 2020Updated 6 years ago
- Implementation of Stateless and Stateful Cheetah with TCP timestamps for the Tofino P4 target☆20Sep 10, 2021Updated 4 years ago
- FeatureDock is a protein-ligand docking software guided by physicochemical feature-based local environment learning using Transformer☆40Oct 9, 2024Updated last year
- ☆13Apr 10, 2025Updated last year
- 哈啰出行SQLite的ORM框架，无需编写sql代码，通过装饰器解析表结构，一行搞定增删改查☆20Aug 12, 2025Updated 8 months ago
- Some undergraduate math notes☆17Nov 2, 2020Updated 5 years ago