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☆13Updated this week
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- B站-数电的ppt☆11Feb 19, 2024Updated 2 years ago
- An attempt to migrate Karpathy's llm.c to safe rust.☆13Jun 4, 2024Updated last year
- 收集LUG@NJU群的精华消息，好玩就行。☆12Jun 22, 2022Updated 3 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 4 years ago
- 南开大学操作系统课程实验（UCore）☆11Oct 16, 2022Updated 3 years ago
- 南京大学ICS2019 PA实验, 实验手册https://nju-projectn.github.io/ics-pa-gitbook/ics2019/☆10Aug 22, 2020Updated 5 years ago
- MicroMix: Efficient Mixed-Precision Quantization with Microscaling Formats for Large Language Models☆29Feb 12, 2026Updated last month
- 南京大学 计算机科学与技术系2019 计算机系统基础PA☆14Sep 18, 2020Updated 5 years ago
- 南京大学本科毕业论文模板☆13Jun 1, 2016Updated 9 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.
- A toy compiler for subset of c++ written in python☆16Jan 17, 2025Updated last year
- High level overview of Rust☆18Oct 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☆17Mar 1, 2026Updated 3 weeks ago
- Ternary Spike: Learning Ternary Spikes for Spiking Neural Networks☆27Dec 14, 2023Updated 2 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".☆13Dec 21, 2025Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆15Jun 3, 2019Updated 6 years ago
- C++ Template Manipulation Library☆34Dec 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 4 years ago
- Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.☆19Jul 9, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆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.☆26Jan 23, 2025Updated last year
- WebRTC Research☆14Jul 15, 2020Updated 5 years ago
- Code repository of JB Online multi-purpose forum.☆19Aug 11, 2021Updated 4 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