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
- 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
- ☆31Dec 27, 2022Updated 3 years ago
- ☆31Aug 4, 2020Updated 5 years ago
- Submit your work to JOJ via CLI.☆10Jul 24, 2024Updated last year
- 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.
- Archives for experience-sharing workshops held by Advising Center.☆22Updated this week
- Recitation class lecture notes for VE280☆18Dec 25, 2022Updated 3 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☆37Aug 10, 2022Updated 3 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
- ☆12Dec 14, 2024Updated last year
- 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.
- This is notes of ve203 by Mr. Ice.☆14Dec 13, 2024Updated last year
- A WIP project using the `VK_KHR_ray_tracing_pipeline` Vulkan extension and friends☆16Oct 29, 2021Updated 4 years ago
- ☆17Sep 27, 2018Updated 7 years ago
- Massively Parallel A* Search on a GPU.☆15Sep 16, 2021Updated 4 years ago
- ☆13Mar 24, 2024Updated 2 years ago
- 🎞️ Sprite frames to spritesheet & metadata☆18Jun 17, 2018Updated 8 years ago
- MAGIC: Microlensing Analysis Guided by Intelligent Computation. A PyTorch framework for automatic analysis of realistic microlensing ligh…☆13May 30, 2024Updated 2 years ago
- Procedural machinery☆18Apr 10, 2022Updated 4 years ago
- An online dictionary using youdao dict api. Inspired by wudao-dict.☆17Feb 26, 2026Updated 4 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.
- [NSDI'26] PolyRL is a reinforcement learning framework for LLM that harvest spot instances on the cloud to reduce cost.☆19Mar 30, 2026Updated 3 months ago
- GLTF is a MATLAB class to export 3D graphs and other content into the GL Transmission Format (glTF).☆11Jun 25, 2026Updated 3 weeks ago
- deepin-wine5 AUR: https://aur.archlinux.org/packages/deepin-wine5☆19Aug 17, 2021Updated 4 years ago
- The codes of our paper "EasyInv: Toward Fast and Better DDIM Inversion"☆14Jun 1, 2025Updated last year
- Tools for generating 3D maps from GNSS data☆10Apr 23, 2024Updated 2 years ago
- Tutorial for the Metaparse library with lab exercises☆31Apr 27, 2014Updated 12 years ago
- Big Sur dynamic wallpaper for Ubuntu and other Linux Gnome desktop.☆13Apr 30, 2021Updated 5 years ago
- A highly customizable, full scale web backend for web-rwkv, built on axum with websocket protocol.☆30Apr 15, 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
- 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.
- Scarpet for VSCode☆15Apr 30, 2024Updated 2 years ago
- A realtime and multiplayer nodejs game,writen in Node.js, Socket.io, HTML5/Canvas.☆15Feb 9, 2017Updated 9 years ago
- 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
- This fork adds support for FLAC & Linux OS to unpack game audio Wwise files (pck, bnk)☆14Dec 17, 2023Updated 2 years ago
- A Python 3 C++ extension to simplify development using USRP software-defined radios.☆12Mar 16, 2026Updated 4 months ago
- RWKV-based Text-to-Speech implementation in Rust☆27Oct 14, 2025Updated 9 months ago