Project Icon

gramine

为应用程序提供安全隔离的轻量级库操作系统

Gramine是一个轻量级库操作系统,支持在Linux和Intel SGX环境中运行原生Linux二进制文件。它为应用程序提供类似完整操作系统的隔离环境,特别适合不受信任的云和边缘部署。Gramine能够将未修改的应用程序轻松引入基于Intel SGX的机密计算环境,有效保护应用免受潜在的系统级威胁。

grype - 容器镜像和文件系统漏洞扫描利器
GithubGrype安全容器镜像开源开源项目漏洞扫描
Grype是一款开源的容器镜像和文件系统漏洞扫描工具。它可扫描主流操作系统包和多种编程语言依赖,支持Docker、OCI和Singularity格式。Grype提供多种输出格式,可集成CI/CD流程,支持按严重程度过滤结果。通过配置可忽略误报,与Syft工具协同实现全面的软件成分分析和漏洞管理。
gleam - 为类型安全系统设计的友好编程语言
GitHubGithubGleam开源项目类型安全系统开发编程语言
Gleam是一种为构建可扩展的类型安全系统而设计的编程语言。它结合了强类型系统和简洁语法,有助于开发者创建可靠高效的软件。Gleam支持跨平台开发,拥有活跃的社区。这种语言适用于构建Web应用、后端服务和分布式系统,提供良好的开发体验和运行性能。
libriscv - 轻量级高性能RISC-V模拟沙箱
GithubRISC-V低延迟嵌入式开源项目模拟器沙箱
libriscv是一款轻量级RISC-V模拟沙箱,专注于低延迟和低内存占用。它具备超低延迟函数调用、高速解释执行和安全VM接口等特性,支持多平台嵌入和二进制翻译。libriscv适用于游戏脚本和安全沙箱等场景,提供CLI工具和GDB远程调试支持,可满足RISC-V程序开发和测试需求。该项目仅需C++17环境即可使用。
GmSSL - 国产开源密码库 全面支持国密算法与安全协议
GithubGmSSLSSL协议国密算法密码库开源项目跨平台
GmSSL是北京大学自主研发的开源国产密码库,全面实现国密算法、标准和安全通信协议。该项目支持主流操作系统和处理器,兼容国产密码硬件,提供丰富的命令行工具和多语言编程接口。GmSSL具有超轻量、高合规、强安全和跨平台等特点,支持TLS 1.3国密套件,适用范围广泛,从嵌入式系统到大型服务器均可使用。
nsjail - Linux进程隔离工具 支持多种隔离模式和安全机制
GithubLinux命名空间NsJail安全沙箱容器技术开源项目进程隔离
nsjail是一个Linux进程隔离工具,利用namespace、资源限制和seccomp-bpf等机制实现隔离。支持网络服务隔离、CTF环境和系统模糊测试等场景。提供三种操作模式,使用seccomp-bpf策略和ProtoBuf配置文件。通过多重隔离技术如namespace、文件系统约束和资源限制,为进程提供安全防护。具有灵活的配置和稳定的性能。
tracee - 基于eBPF的运行时安全和可观察性工具
GithubTraceeeBPF可观察性工具开源项目系统行为分析运行时安全
Tracee是一款运行时安全和可观察性工具,用于监控和分析系统及应用程序行为。它基于eBPF技术,能够捕获从普通系统活动到复杂安全事件的各类信息,有助于识别可疑行为模式。该工具兼容Docker和Kubernetes环境,支持多数常见Linux发行版和内核。Tracee提供快速入门指南和详细安装文档,是Aqua Security旗下的开源项目。
zpoline - 高性能Linux系统调用拦截技术
GithubLinuxx86-64zpoline二进制重写开源项目系统调用钩子
zpoline是一种创新的Linux系统调用拦截技术,相比传统的ptrace方法速度提升了100倍。它能够全面覆盖系统调用,无需用户程序源代码或修改操作系统内核。zpoline通过巧妙利用调用约定和特殊的trampoline代码,在内存中进行代码重写,实现了高效可靠的系统调用拦截。这一技术为需要全面监控系统调用而又不愿修改内核的项目提供了新的选择。
tag-security - CNCF安全技术顾问组推动云原生生态安全创新
CNCFGithub云原生安全供应链安全安全技术咨询组工作组开源项目
CNCF安全技术顾问组专注于云原生生态系统安全,通过知识共享和资源创建促进协作。关键领域包括系统安全架构、通用词汇和安全模型。该组发布重要出版物,组织多个工作组,并提供开放交流平台,致力于减少安全风险,增强开发者安全管理能力,推动云原生环境的安全发展。
grails-core - 高效灵活的 Groovy Web 应用开发框架
GithubGrailsGroovyWeb应用开源项目插件框架
Grails 是基于 Groovy 编程语言的 Web 应用开发框架,具有高度可扩展性和丰富的插件生态系统。该框架由 Grails Foundation 主导开发,得到 Object Computing Inc. 赞助,提供简便的安装和使用方法,适用于快速构建现代 Web 应用。Grails 框架支持约定优于配置原则,内置强大的 ORM 工具,并与 Spring Boot 无缝集成,为开发者提供高效的 Web 应用构建体验。
snarkOS - 为零知识应用提供基础设施的区块链系统
AleoGithubsnarkOS区块链去中心化开源项目零知识应用
snarkOS作为Aleo网络的核心组件,为零知识应用提供区块链基础设施。该系统可验证交易并安全存储加密应用状态,支持运行多种类型的网络节点。基于Rust开发的snarkOS具有高性能和安全性,为零知识应用的开发和部署提供了可靠的底层支持。
项目侧边栏1项目侧边栏2
推荐项目
Project Cover

豆包MarsCode

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

Project Cover

AI写歌

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

Project Cover

有言AI

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

Project Cover

Kimi

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

Project Cover

阿里绘蛙

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

Project Cover

吐司

探索Tensor.Art平台的独特AI模型,免费访问各种图像生成与AI训练工具,从Stable Diffusion等基础模型开始,轻松实现创新图像生成。体验前沿的AI技术,推动个人和企业的创新发展。

Project Cover

SubCat字幕猫

SubCat字幕猫APP是一款创新的视频播放器,它将改变您观看视频的方式!SubCat结合了先进的人工智能技术,为您提供即时视频字幕翻译,无论是本地视频还是网络流媒体,让您轻松享受各种语言的内容。

Project Cover

美间AI

美间AI创意设计平台,利用前沿AI技术,为设计师和营销人员提供一站式设计解决方案。从智能海报到3D效果图,再到文案生成,美间让创意设计更简单、更高效。

Project Cover

AIWritePaper论文写作

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

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