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:
- An async python script that synchronizes files and folders across Canvas LMS Files and local, with extremely fast speed.☆55Dec 16, 2024Updated last year
- An MIPS pipelined processor with hazard detection for the course VE370 (FA2020) at UMJI.☆11Dec 28, 2020Updated 5 years ago
- ☆31Aug 4, 2020Updated 6 years ago
- Archives for experience-sharing workshops held by Advising Center.☆22Jul 31, 2026Updated last week
- [WIP] An expression based data notation, aimed at transpiling itself to any cascaded data notation.☆39Jun 9, 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.
- Collection of course syllabus and websites (mainly EECS) @ Umich☆32Jul 19, 2022Updated 4 years ago
- Fundamental tutorials for VE280☆19May 10, 2021Updated 5 years ago
- 2020 密院git workshop资料☆12Mar 18, 2020Updated 6 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
- This is notes of ve203 by Mr. Ice.☆14Dec 13, 2024Updated last year
- ☆17Sep 27, 2018Updated 7 years ago
- ☆15Jul 22, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆15Jan 19, 2026Updated 6 months ago
- Expanding Mod Power Integration☆10Aug 30, 2016Updated 9 years ago
- PDF Flattener - Secure PDF documents by making floating redactions and form entries permanent.☆14Jul 31, 2026Updated last week
- A simple JS script to register desired course when slots are available, for UM-SJTU JI students.☆13May 9, 2022Updated 4 years ago
- Convert between different units in Alfred☆10Jul 8, 2022Updated 4 years ago
- This is a repository for latex settings in vscode☆20Jun 30, 2024Updated 2 years ago
- An online dictionary using youdao dict api. Inspired by wudao-dict.☆17Feb 26, 2026Updated 5 months ago
- [EMNLP 2023] Hi-ToM benchmark☆21Oct 11, 2025Updated 10 months ago
- [NSDI'26] PolyRL is a reinforcement learning framework for LLM that harvest spot instances on the cloud to reduce cost.☆19Mar 30, 2026Updated 4 months 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.
- GLTF is a MATLAB class to export 3D graphs and other content into the GL Transmission Format (glTF).☆11Jun 25, 2026Updated last month
- Tools for generating 3D maps from GNSS data☆10Apr 23, 2024Updated 2 years ago
- With over 300,000 downloads, this is a modification for the Java based sandbox video game Minecraft that adds features from the C++ based…☆16Oct 5, 2025Updated 10 months 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
- Ueberzug fork that supports suckless's tabbed.☆14Oct 11, 2024Updated last year
- snippets for cuda c++☆14Mar 15, 2017Updated 9 years ago
- Scarpet for VSCode☆15Apr 30, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Design a small USB keyboard☆11Jun 26, 2021Updated 5 years ago
- EDGE Related Projects☆17Aug 27, 2017Updated 8 years ago
- This fork adds support for FLAC & Linux OS to unpack game audio Wwise files (pck, bnk)☆14Dec 17, 2023Updated 2 years ago
- 🧛🏻♂️ Dark theme for MATLAB☆10Mar 20, 2022Updated 4 years ago
- CheepSync is an open source time synchronization service for BLE advertisers in ADV_NONCONN_IND mode☆12Oct 19, 2015Updated 10 years ago
- [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
- A strong gomoku/renju playing engine supporting Gomocup protocol.☆24Apr 15, 2022Updated 4 years ago