randerous/solana-ecosystem-dashboard
Auto-updating Solana ecosystem report & interactive dashboard (no API keys)
Auto-updating Solana ecosystem report & interactive dashboard (no API keys)
TodoLine · 本地优先的连续待办编辑器 (Electron + TypeScript + React + Tiptap, .tde SQLite)
Opt-in per-step turn metadata for DeepSeek Harness — a minimal first-plugin template (dsh-plugin)
Advisory turn step-budget reminders for DeepSeek Harness — loop convergence guard (dsh-plugin)
剪映音乐播放器 v1.0.32
一键息屏小工具:悬浮窗点击息屏+静音,鼠标晃动恢复,贴边自动隐藏。纯 PowerShell/WinForms 实现,无需安装任何依赖。
一键息屏小工具:悬浮窗点击息屏+静音,鼠标晃动恢复,贴边自动隐藏。纯 PowerShell/WinForms 实现,无需安装任何依赖。
Veilo privacy_pool security review — Superteam Earn veilo-bounty submission (H1/H2/H3 + on-chain evidence)
AI 工坊 · 开源工具集 + 商务合作入口
文件批量整理:分类/重命名/查重/清空目录(Python 零依赖)
图片批量处理:压缩/格式转换/水印/缩略图(Python 命令行)
Excel 报表自动化:多表合并/去重/分组统计/转 CSV(Python 命令行)
PDF 批量处理:合并/拆分/压缩/提取文字(Python 命令行)
ceph学习资料整理
A SysML profile for AADL core, behavior annex and error model annex v2
f
Open Source AADL2 Tool Environment
JKind - An infinite-state model checker for safety properties in Lustre
This is the repository for Architectural Modeling and Analysis for Safety Engineering (AMASE).