mianbin's repositories
syson
SysON: web-based graphical modelers for SysMLv2. Please visit https://mbse-syson.org and contact Obeo https://www.obeosoft.com/en/contact for more details!
kestra
Infinitely scalable, event-driven, language-agnostic orchestration and scheduling platform to manage millions of workflows declaratively in code.
TscanCode
A static code analyzer for C++, C#, Lua
ultimate-cube
安全的远程服务器管理工具,提供定制功能。插件机制设计开发中......
SeleniumLibrary
Web testing library for Robot Framework
scrub
SCRUB is a platform for orchestration and aggregation of static code analysis tools.
exp--
Java extension plugin and hot swap plugin(Java 扩展点/插件系统,支持热插拔,旨在解决大部分软件的功能定制问题)
jcabi-ssh
Java SSH client (an object-oriented wrapper around JSch)
StaticAnalysis
GitHub action for CMake based C++ project, that runs cppcheck and clang-tidy and creates output with issues found
violations-lib
Java library for parsing report files from static code analysis.
PyQt-Fluent-Widgets
A fluent design widgets library based on PyQt/PySide. Make Qt Great Again.
cmdb
CMDB: configuration and management of IT resources
fastapi-docs
Django、FastAPI、MySQL、Mongodb、Redis、Devops、Nginx、Vue、Docker、Supervisor、Celery
AI0x0.com
一个多模态多模型通用型的全能 AI 查询生成桌面悬浮助手应用
nonebot2
跨平台 Python 异步聊天机器人框架 / Asynchronous multi-platform chatbot framework written in Python
opsany-paas
OpsAny智能运维PAAS平台
stateMachine
参考:高德打车通用可编排订单状态机引擎设计
awesome-spider
爬虫集合
PipelinR
PipelinR is a lightweight command processing pipeline ❍ ⇢ ❍ ⇢ ❍ for your Java awesome app.
OMP
OMP(Operation Management Platform)是云智慧公司自主设计、研发的轻量级、聚合型、智能运维管理平台。是一款为用户提供便捷运维能力和业务管理的综合平台。具备运维一应俱全的功能,目的是提升运维自动化、智能化,提高运维效率,提升业务连续性和安全性。
wandb
🔥 A tool for visualizing and tracking your machine learning experiments. This repo contains the CLI and Python API.
static-analysis
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
murphysec
An open source tool focused on software supply chain security. 墨菲安全专注于软件供应链安全,具备专业的软件成分分析(SCA)、漏洞检测、专业漏洞库。
codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Scanners-Box
A powerful and open-source toolkit for hackers and security automation - 安全行业从业者自研开源扫描器合辑
robotframework
Generic automation framework for acceptance testing and RPA
awesome-python
A curated list of awesome Python frameworks, libraries, software and resources
MockingBird
🚀AI拟声: 5秒内克隆您的声音并生成任意语音内容 Clone a voice in 5 seconds to generate arbitrary speech in real-time
awesome-macOS
A curated list of awesome applications, softwares, tools and shiny things for macOS.
HummerRisk
HummerRisk 是云原生安全平台,包括混合云安全治理和容器云安全检测。