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
- A similarity measurer on two programming assignments on Online Judge.☆10Jan 6, 2023Updated 3 years ago
- LaTeX support for Creative Commons icons☆13Apr 18, 2026Updated 2 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 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.
- B站-数电的ppt☆11Feb 19, 2024Updated 2 years ago
- An attempt to migrate Karpathy's llm.c to safe rust.☆13Jun 4, 2024Updated 2 years ago
- 收集LUG@NJU群的精华消息，好玩就行。☆12Jun 22, 2022Updated 3 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- 南开大学操作系统课程实验（UCore）☆11Oct 16, 2022Updated 3 years ago
- MicroMix: Efficient Mixed-Precision Quantization with Microscaling Formats for Large Language Models☆28Apr 2, 2026Updated 2 months ago
- 南京大学 计算机科学与技术系2019 计算机系统基础PA☆14Sep 18, 2020Updated 5 years ago
- 南京大学本科毕业论文模板☆13Jun 1, 2016Updated 10 years ago
- A toy compiler for subset of c++ written in python☆16Jan 17, 2025Updated last year
- 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.
- 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☆17Jun 1, 2026Updated 2 weeks ago
- 输入wav文件，输出其简谱（较粗糙）☆10Jun 29, 2018Updated 7 years ago
- Ternary Spike: Learning Ternary Spikes for Spiking Neural Networks☆28Dec 14, 2023Updated 2 years ago
- NJU-IT侠社团网站系统，包括预约和后台等等...☆16May 11, 2022Updated 4 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 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.
- ☆15Jun 3, 2019Updated 7 years ago
- C++ Template Manipulation Library☆33Dec 17, 2014Updated 11 years ago
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 6 years ago
- 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
- ☆12Dec 8, 2022Updated 3 years ago
- A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.☆13May 21, 2021Updated 5 years ago
- Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.☆19Jul 9, 2020Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆12Dec 17, 2023Updated 2 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
- Virtualization course at the UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆27Jan 23, 2025Updated last year
- WebRTC Research☆14Jul 15, 2020Updated 5 years ago
- Persistent Collectives X- A collective communication library for high performance, low cost persistent collectives over RDMA devices.☆14Jan 29, 2019Updated 7 years ago
- Code repository of JB Online multi-purpose forum.☆19Aug 11, 2021Updated 4 years ago