Static code analysis for VE280 projects
☆17Jul 12, 2023Updated 2 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:
- Analysis of anonymous grades retrieved by all JI students, among the courses with the same course id in different sections and academic y…☆60Mar 28, 2024Updated 2 years ago
- A QQ group repeater bot.☆42Sep 17, 2021Updated 4 years ago
- An MIPS pipelined processor with hazard detection for the course VE370 (FA2020) at UMJI.☆11Dec 28, 2020Updated 5 years ago
- Recitation class lecture notes for VE280☆18Dec 25, 2022Updated 3 years ago
- Collection of course syllabus and websites (mainly EECS) @ Umich☆30Jul 19, 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.
- Fundamental tutorials for VE280☆19May 10, 2021Updated 5 years ago
- A mini shell supporting tab-triggered hint & auto-completion written in C☆11Sep 24, 2022Updated 3 years ago
- 2020 密院git workshop资料☆12Mar 18, 2020Updated 6 years ago
- A partial collection of courses with related files held in SJTU-UMJI☆37Aug 10, 2022Updated 3 years ago
- Discussion Notes, SU2020 VE280: Programming and Data Structure, SJTU.☆13Dec 27, 2020Updated 5 years ago
- ☆15Feb 7, 2026Updated 4 months ago
- Official Code for All-in-One Medical Image Re-Identification (CVPR2025)☆20Jan 11, 2026Updated 5 months ago
- 小车端app，主要负责视频录制和传输。☆12Dec 8, 2017Updated 8 years ago
- A notebook app integrated with todo lists utility. Developed with Rust, WebAssembly, Yew and Trunk.☆56May 24, 2023Updated 3 years 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.
- The codes of our paper "EasyInv: Toward Fast and Better DDIM Inversion"☆14Jun 1, 2025Updated last year
- Repository with environment and training scripts for paper "Cross-Environment-Cooperation Enables Zero-shot Multi-agent Cooperation"☆22Sep 12, 2025Updated 9 months ago
- Tools for generating 3D maps from GNSS data☆10Apr 23, 2024Updated 2 years ago
- Interactive Mathematica notebooks illustrating the course content of VE401, Probabilistic Methods in Engineering at UM-SJTU Joint Institu…☆13Nov 10, 2022Updated 3 years ago
- Just another forum.☆67Oct 29, 2020Updated 5 years ago
- Ueberzug fork that supports suckless's tabbed.☆14Oct 11, 2024Updated last year
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Apr 21, 2020Updated 6 years ago
- Design a small USB keyboard☆11Jun 26, 2021Updated 5 years ago
- Scarpet for VSCode☆15Apr 30, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆11Sep 28, 2023Updated 2 years ago
- [ICML 2024] Code release for "On the Emergence of Cross-Task Linearity in Pretraining-Finetuning Paradigm"☆11Feb 20, 2025Updated last year
- Artifacts Release: A Case for Stateless Mobile Core Network Functions in Space☆16Aug 16, 2022Updated 3 years ago
- A Python 3 C++ extension to simplify development using USRP software-defined radios.☆12Mar 16, 2026Updated 3 months ago
- GLTF is a MATLAB class to export 3D graphs and other content into the GL Transmission Format (glTF).☆11Updated this week
- Official Implementation of Neural Surface Refinement for Modeling Transparent Objects (CVPR 2024)☆18Jul 18, 2024Updated last year
- A simple tool automatically drops the duplicate pages in PDF files.☆13Jul 6, 2023Updated 2 years ago
- ZSH plugin for tmux that automatically sets the title of windows/panes as the current foreground command.☆24Dec 21, 2023Updated 2 years ago
- Computes loss between two sets of entities using the optimal assignment based on the Hungarian algorithm.☆16Mar 31, 2026Updated 3 months 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.
- KD-LoRA: A Hybrid Approach to Efficient Fine-Tuning with LoRA and Knowledge Distillation☆24Nov 3, 2024Updated last year
- 仿照git马赛克墙实现了个JS原生小工具，支持自定义日期、支持自定义横纵坐标☆15Sep 2, 2019Updated 6 years ago
- Official Implementation of GMR-Conv☆17Feb 15, 2026Updated 4 months ago
- source code for IEEE ICC paper "Cell-Free Massive MIMO Beamforming Based on Radio Map"☆19Mar 27, 2026Updated 3 months ago
- This is a repository of coursework project for the Stanford Compilers MOOC course. The result is a fully-working compiler for the COOL Pr…☆18Sep 11, 2023Updated 2 years ago
- Digital Pathology datasets and where to find them☆15Jun 18, 2021Updated 5 years ago
- Radiology Object in COntext version 2☆21Nov 13, 2024Updated last year