A Rust built code judger utils with Web & CLI executables
☆18Apr 7, 2025Updated last year
Alternatives and similar repositories for judger
Users that are interested in judger are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 电影《流浪地球2》周边笨笨智能积木的非官方控制器。☆14Mar 5, 2024Updated 2 years ago
- SHUOSC RISC-V implementation☆11May 12, 2024Updated 2 years ago
- Template for ACM-ICPC☆14Feb 18, 2022Updated 4 years ago
- 上海大学网络空间安全专业指南☆33Jun 15, 2024Updated last year
- Program design&training platform server for Shanghai University.☆14Jun 25, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 一个把教务处课程表转换成日历的小工具☆10Nov 26, 2021Updated 4 years ago
- 基于 GitHub Actions 的 SHU 课程爬虫☆16Feb 11, 2026Updated 4 months ago
- Create an CRUD API server directly from a table in database or/and a yaml file.☆22Oct 16, 2021Updated 4 years ago
- 上海大学本科生毕业论文Typst模板☆112Dec 5, 2025Updated 6 months ago
- to schedule jobs per node in kubernetes cluster☆11Mar 16, 2026Updated 2 months ago
- ☆16Jul 19, 2020Updated 5 years ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- 面向云原生的在线评测系统. Cloud-Native oriented Online Judge system☆86Sep 20, 2025Updated 8 months ago
- Real-time fluid simulation using smoothed particle hydrodynamics (SPH) by taking advantage of GPU hardware ray tracing for particle neigh…☆13Apr 20, 2026Updated last month
- 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.
- 上海大学溯源手册（SHUFly）☆117May 28, 2026Updated 2 weeks ago
- 一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。☆20Mar 19, 2026Updated 2 months ago
- Attacks on Jarvis and Friday☆10Oct 9, 2019Updated 6 years ago
- ☆10Dec 3, 2020Updated 5 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆13Apr 16, 2024Updated 2 years ago
- A physically based ray tracer accelerated by OptiX.☆11Dec 24, 2021Updated 4 years ago
- ☆19Apr 5, 2025Updated last year
- Vector math and other CUDA helper functions for OptiX kernels☆10Oct 21, 2024Updated last year
- Lean 形式化数学☆18Dec 20, 2025Updated 5 months 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.
- 某校课程资料民间整理☆85Oct 21, 2022Updated 3 years ago
- Official code of the paper "A Stealthy Wrongdoer: Feature-Oriented Reconstruction Attack against Split Learning".☆16Sep 11, 2024Updated last year
- This TG will define AP-TEE-IO ABI extensions to provide Confidential VM-assigned devices with secure direct access to confidential memory…☆16May 29, 2026Updated 2 weeks ago
- cpu path tracer☆12Dec 27, 2022Updated 3 years ago
- Stable branch of nissy, a Rubik's cube solver and FMC assitant☆13Apr 19, 2026Updated last month
- 跨平台私有开黑语音服务☆23Jan 3, 2024Updated 2 years ago
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 3 years ago
- 上海大学本科生毕业论文 LaTeX 模板-开源社区版本。☆213Jan 19, 2026Updated 4 months ago
- ☆14Jul 23, 2025Updated 10 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Tell the user to install an ad blocker before continuing viewing your site!☆12Jan 10, 2021Updated 5 years ago
- ReSTIR DI in Falcor Rendering Framework☆15Aug 17, 2024Updated last year
- ☆17Nov 21, 2025Updated 6 months ago
- Example formalization of Game Theoretic concepts in Lean☆28Feb 14, 2025Updated last year
- A novel neural network based path guiding technique for realtime path tracing. A small neural network is trainied in online fashion to ap…☆18Jan 13, 2024Updated 2 years ago
- low-level bindings to libseccomp☆12Mar 6, 2021Updated 5 years ago
- ☆17Jan 4, 2022Updated 4 years ago