快捷指令集
☆15Apr 19, 2021Updated 5 years ago
Alternatives and similar repositories for Shortcuts
Users that are interested in Shortcuts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This work shows the viability of automatically generated attack graphs that are used for adversary behavior execution in industrial contr…☆12Jun 3, 2021Updated 5 years ago
- ☆16Apr 15, 2019Updated 7 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- 重庆大学课程表导出工具，适用于新教务网☆10Sep 30, 2022Updated 3 years ago
- Automated Analysis Framework for Simulink/Stateflow☆14Jul 25, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆14Jul 26, 2019Updated 7 years ago
- M.H.S algorithms encoded☆12Jun 14, 2016Updated 10 years ago
- easymesh☆14Feb 28, 2025Updated last year
- ☆24Mar 24, 2023Updated 3 years ago
- ☆11Feb 28, 2017Updated 9 years ago
- A MSD (Mass Storage Device) USB bootloader for a PIC18F47J53 with an external SPI flash chip. I'm writing this primarily for my MPPT Sola…☆14Oct 7, 2018Updated 7 years ago
- a powerful markdown to visual toolset for programming, measure, maturity and showcase.☆17Jul 8, 2020Updated 6 years ago
- 摸鱼派聊天室python客户端 ｜🥷 账号多开 ｜💗免密登陆 ｜ ❤️丰富的快捷命令 ｜🌈自定义字体颜色 ｜🧧 红包脚本 ｜ 配置导出☆10May 7, 2025Updated last year
- Specification and Analysis for Requirements Tool☆21Mar 6, 2026Updated 5 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.
- 凌波微步,一款在线刷步神器（目前支持微信，支付宝，QQ，阿里体育，钉钉...）☆10Jan 4, 2023Updated 3 years ago
- MPG stepper motor for STM32☆12May 19, 2018Updated 8 years ago
- Steam 2018 夏促刷分辅助 - golang☆12Jul 3, 2018Updated 8 years ago
- Assume-Guarantee REasoning Environment☆25Dec 3, 2025Updated 8 months ago
- A modular Lustre to C / Horn clauses compiler☆22Nov 17, 2018Updated 7 years ago
- ☆12Sep 18, 2018Updated 7 years ago
- GUI for running the SPIN model checker☆20Nov 22, 2022Updated 3 years ago
- 我用的一些 Übersicht 小部件☆12Nov 24, 2024Updated last year
- Excel vba编程学习☆31Jun 27, 2020Updated 6 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.
- 模拟登录网上国网网站获取电费☆21May 20, 2024Updated 2 years ago
- 利用python-clouddrive-client提供的clouddrive2 api/webhook来监控目录变化，然后进行plex/emby media server的局部扫描。☆13Jan 9, 2025Updated last year
- A simple blog system built with nodejs.☆12Jul 26, 2026Updated 2 weeks ago
- An ultrasonic water flowmeter based on transit-time technique☆17Jul 21, 2021Updated 5 years ago
- Creates CMM script that can directly executed on Kaggle from easy merge script☆14Mar 6, 2026Updated 5 months ago
- ☆11Jul 30, 2023Updated 3 years ago
- A Github App to chat with Your GitHub Repo's Issues Using ChatGPT☆16Mar 8, 2023Updated 3 years ago
- 加速网站访问速度☆16Aug 21, 2022Updated 3 years ago
- HandsomeYingyan's Hack in Openwrt!!!☆16Feb 23, 2021Updated 5 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.
- 日常运维常用笔记总结(Linux,Mac 命令,开发相关工具以及指令,持续更新🔥)☆18Jun 24, 2024Updated 2 years ago
- Emby TMDB 刮削器的代理插件☆10Sep 4, 2023Updated 2 years ago
- JetBrains Mono modify characters or default features☆14Jul 16, 2023Updated 3 years ago
- ☆13Feb 26, 2024Updated 2 years ago
- 自己开发的PT种子管理工具☆14Mar 6, 2021Updated 5 years ago
- GUI toolkit for microcontrollers☆20Jul 21, 2022Updated 4 years ago
- 通过RSS订阅聚合器自动/批量下载Bilibili视频☆17Nov 6, 2023Updated 2 years ago