Project Icon

arm-trusted-firmware

Arm A-Profile架构的可信固件参考实现

arm-trusted-firmware是Arm A-Profile架构的安全世界软件参考实现,为安全世界启动和运行时固件提供基础。支持AArch32和AArch64执行状态,实现了PSCI、TBBR-CLIENT和SMC调用约定等多个Arm接口标准。其代码设计强调可移植性和可重用性,适用于基于Armv8-A和Armv7-A架构的多种硬件平台和软件模型。

awesome-safety-critical - 安全关键软件编程实践资源列表
Githubsafety-critical software开源项目编程实践资源列表软件开发
awesome-safety-critical项目收集了安全关键软件编程实践的相关资源。内容托管于Read the Docs平台,便于查阅。项目采用CC0许可证,并维护资源备份以确保长期可用性。该列表为安全关键系统开发者提供了参考信息。
tvm - 适用于 CPU、GPU 和专用加速器的开放式深度学习编译器堆栈
Apache TVMApache-2.0Github开源项目深度学习硬件后端编译器
Apache TVM为深度学习提供高效编译支持,优化执行效率,适合用于学术与工业研究领域,填补了框架与后端之间的技术差距。
trezor-agent - 硬件安全设备操作的SSH、GPG和age代理
GPGGithubKeepKeyLedger Nano SSSHTREZOR开源项目
本项目利用硬件安全设备操作GPG、SSH和age,密钥在设备生成和存储,从未进入计算机,确保安全性。支持的设备包括TREZOR One、TREZOR Model T、Keepkey、Blockstream Jade、Ledger Nano S和OnlyKey。功能包括邮件签名、git提交签名、软件包签名、密码管理以及网络隧道和文件传输认证,提升安全和效率。文档详尽,提供安装、SSH、GPG和使用示例的指导。
wasm-bpf - 结合WebAssembly和eBPF的跨平台开发部署方案
CO-REGithubWasm-bpfWebAssemblyeBPFlibbpf开源项目
wasm-bpf是一个基于CO-RE libbpf技术的WebAssembly eBPF库、工具链和运行时。它能将eBPF程序编译为Wasm,实现跨平台运行。通过结合Wasm和eBPF技术,wasm-bpf提升了eBPF应用的性能和可编程性,使观察性平台和服务代理等软件能够动态加载并安全执行Wasm-eBPF代码。这一方案简化了eBPF程序的开发和部署流程。
trl - 用于大型语言模型微调和对齐的开源工具库
GithubTRLTransformer大语言模型开源项目强化学习微调
TRL是一个开源的全栈工具库,专用于大型语言模型的微调和对齐。它支持监督式微调、奖励建模和近端策略优化等方法,适用于多种模型架构。该库基于Transformers构建,提供灵活的训练器和自动模型类,并集成Accelerate、PEFT等工具实现高效扩展。TRL还提供命令行界面,方便用户进行模型微调和交互。
adversarial-robustness-toolbox - 机器学习安全与对抗性威胁防护库
Adversarial Robustness ToolboxGithubLinux Foundation AI & Data对抗性威胁开源项目机器学习安全模型防御
Adversarial Robustness Toolbox (ART) 是由 Linux Foundation AI & Data Foundation 托管的 Python 库,为开发者和研究人员提供评估和防护机器学习模型的工具,以抵御规避、投毒、提取和推理等对抗性威胁。ART 支持所有流行的机器学习框架(如 TensorFlow、Keras、PyTorch 等),适用于各种数据类型(图像、表格、音频、视频等)和任务(分类、目标检测、语音识别等)。持续开发中,欢迎反馈和贡献。
aya - Rust实现的eBPF库 简化Linux内核编程
AyaGithubLinux内核RusteBPF开源项目程序开发
Aya是一个纯Rust实现的eBPF库,专注于提升开发体验。它支持BPF类型格式(BTF),实现跨内核版本运行eBPF程序,并提供函数调用重定位和全局数据映射功能。Aya支持异步编程,易于部署且构建速度快。不依赖libbpf或bcc,Aya为Linux内核编程提供了一个高效灵活的开发工具。
bpftrace - Linux eBPF高级跟踪语言助力系统性能分析与调试
GithubLinuxbpftraceeBPF开源项目性能分析系统跟踪
bpftrace是适用于Linux eBPF的高级跟踪语言,专为最新Linux内核设计。它通过LLVM将脚本编译为BPF字节码,并利用libbpf和bcc与Linux BPF系统交互。支持内核和用户级动态跟踪、跟踪点等功能,语法融合了awk、C和DTrace等工具的特点。bpftrace为系统性能分析和调试提供了强大而灵活的工具,适合系统管理员和开发人员使用。
TechTrust.ai - 早期AI创业公司目录与分析工具
AI创业公司AI工具创业生态系统创新技术数据分析风险投资
TechTrust.ai为风险投资者提供全面的AI创业公司目录和分析服务。平台收录超过1000家早期AI创业企业,支持多维度筛选,包括核心技术、行业、地理位置、融资阶段和成立时间。通过数据分析,TechTrust.ai助力投资者评估技术创新性、竞争优势和增长潜力。平台还提供AI技术竞争格局分析,为投资决策提供深入洞察。
OpenWrt - 多设备适配的开源路由固件 自动云编译与功能定制
GithubOpenWrt固件编译开源开源项目网络路由器
OpenWrt项目为ARMv8电视盒子、Rockchip平台、树莓派及X86平台设备提供开源路由固件。该项目利用Github Actions实现每日自动编译,集成常用网卡驱动、中文监控插件、应用商店及Docker等功能。固件支持在线更新,提供便捷的网络管理解决方案。
项目侧边栏1项目侧边栏2
推荐项目
Project Cover

豆包MarsCode

豆包 MarsCode 是一款革命性的编程助手,通过AI技术提供代码补全、单测生成、代码解释和智能问答等功能,支持100+编程语言,与主流编辑器无缝集成,显著提升开发效率和代码质量。

Project Cover

AI写歌

Suno AI是一个革命性的AI音乐创作平台,能在短短30秒内帮助用户创作出一首完整的歌曲。无论是寻找创作灵感还是需要快速制作音乐,Suno AI都是音乐爱好者和专业人士的理想选择。

Project Cover

白日梦AI

白日梦AI提供专注于AI视频生成的多样化功能,包括文生视频、动态画面和形象生成等,帮助用户快速上手,创造专业级内容。

Project Cover

有言AI

有言平台提供一站式AIGC视频创作解决方案,通过智能技术简化视频制作流程。无论是企业宣传还是个人分享,有言都能帮助用户快速、轻松地制作出专业级别的视频内容。

Project Cover

Kimi

Kimi AI助手提供多语言对话支持,能够阅读和理解用户上传的文件内容,解析网页信息,并结合搜索结果为用户提供详尽的答案。无论是日常咨询还是专业问题,Kimi都能以友好、专业的方式提供帮助。

Project Cover

讯飞绘镜

讯飞绘镜是一个支持从创意到完整视频创作的智能平台,用户可以快速生成视频素材并创作独特的音乐视频和故事。平台提供多样化的主题和精选作品,帮助用户探索创意灵感。

Project Cover

讯飞文书

讯飞文书依托讯飞星火大模型,为文书写作者提供从素材筹备到稿件撰写及审稿的全程支持。通过录音智记和以稿写稿等功能,满足事务性工作的高频需求,帮助撰稿人节省精力,提高效率,优化工作与生活。

Project Cover

阿里绘蛙

绘蛙是阿里巴巴集团推出的革命性AI电商营销平台。利用尖端人工智能技术,为商家提供一键生成商品图和营销文案的服务,显著提升内容创作效率和营销效果。适用于淘宝、天猫等电商平台,让商品第一时间被种草。

Project Cover

AIWritePaper论文写作

AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。

投诉举报邮箱: service@vectorlightyear.com
@2024 懂AI·鲁ICP备2024100362号-6·鲁公网安备37021002001498号