Static code analysis for VE280 projects
☆17Jul 12, 2023Updated 3 years ago
Alternatives and similar repositories for code-check
Users that are interested in code-check are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆31Aug 4, 2020Updated 6 years ago
- Submit your work to JOJ via CLI.☆10Jul 24, 2024Updated 2 years ago
- Archives for experience-sharing workshops held by Advising Center.☆22Jul 31, 2026Updated last month
- ☆27Nov 27, 2021Updated 4 years ago
- Course materials and self-written lab/hw solutions for the course Intro. to Operating System (VE482-20FA) at UMJI.☆17Oct 10, 2022Updated 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.
- Collection of course syllabus and websites (mainly EECS) @ Umich☆32Jul 19, 2022Updated 4 years ago
- Recitation class lecture notes for VE280☆18Dec 25, 2022Updated 3 years ago
- Fundamental tutorials for VE280☆19May 10, 2021Updated 5 years ago
- Joint Online Judge☆21Oct 29, 2023Updated 2 years ago
- A partial collection of courses with related files held in SJTU-UMJI☆38Aug 10, 2022Updated 4 years ago
- Discussion Notes, SU2020 VE280: Programming and Data Structure, SJTU.☆13Dec 27, 2020Updated 5 years ago
- New generation of Canvas Helper.☆11Jul 15, 2024Updated 2 years ago
- This is notes of ve203 by Mr. Ice.☆14Dec 13, 2024Updated last year
- A manual for UM-SJTU JI students to survive better.☆41Apr 30, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Quantum Principal Component Analysis (QPCA) as a generative model☆13Apr 5, 2022Updated 4 years ago
- Expanding Mod Power Integration☆10Aug 30, 2016Updated 10 years ago
- Simple tool for creating pitch timeline☆10May 21, 2022Updated 4 years ago
- Assisted performance of music scores displayed in browsers☆18Aug 29, 2023Updated 3 years ago
- A simple JS script to register desired course when slots are available, for UM-SJTU JI students.☆13May 9, 2022Updated 4 years ago
- A notebook app integrated with todo lists utility. Developed with Rust, WebAssembly, Yew and Trunk.☆56May 24, 2023Updated 3 years ago
- This is a repository for latex settings in vscode☆20Jun 30, 2024Updated 2 years ago
- [NSDI'26] PolyRL is a reinforcement learning framework for LLM that harvest spot instances on the cloud to reduce cost.☆19Mar 30, 2026Updated 5 months ago
- GLTF is a MATLAB class to export 3D graphs and other content into the GL Transmission Format (glTF).☆11Jun 25, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Tools for generating 3D maps from GNSS data☆10Apr 23, 2024Updated 2 years ago
- The codes of our paper "EasyInv: Toward Fast and Better DDIM Inversion"☆14Jun 1, 2025Updated last year
- Interactive data viz of migrating birds☆24Feb 21, 2025Updated last year
- Projects and Code for SI 699 Section 5 teams☆11Jan 31, 2023Updated 3 years ago
- snippets for cuda c++☆14Mar 15, 2017Updated 9 years ago
- Process completed instances of recurring items created by the Obsidian Tasks plugin☆21Mar 4, 2024Updated 2 years ago
- 超理图书馆☆14Apr 16, 2025Updated last year
- A Python 3 C++ extension to simplify development using USRP software-defined radios.☆12Mar 16, 2026Updated 5 months ago
- CheepSync is an open source time synchronization service for BLE advertisers in ADV_NONCONN_IND mode☆12Oct 19, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- [MICCAI-STACOM 2022] This repository is the official implementation of "Learning correspondences of cardiac motion from images using biom…☆13Sep 30, 2022Updated 3 years ago
- ☆13Jan 30, 2019Updated 7 years ago
- [ICML 2024] Code release for "On the Emergence of Cross-Task Linearity in Pretraining-Finetuning Paradigm"☆11Feb 20, 2025Updated last year
- ☆11Sep 28, 2023Updated 2 years ago
- [ICML 2026] Set Diffusion: Interpolating Token Orderings between Autoregression and Diffusion for Fast and Flexible Decoding☆26Aug 9, 2026Updated 3 weeks ago
- µSDN: A low-overhead SDN stack and embedded SDN controller for Contiki.☆15May 23, 2021Updated 5 years ago
- ☆16Aug 6, 2026Updated 3 weeks ago