Project Icon

gramine

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

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

occlum - 为Intel SGX提供高效安全的多任务LibOS解决方案
GithubIntel SGXLibOSOcclum内存安全多进程开源项目
Occlum是专为Intel SGX设计的内存安全多进程LibOS,支持传统应用几乎零修改运行于SGX环境。它具备高效多任务处理、多文件系统支持和内存安全特性,采用Rust语言开发,提供简便的构建工具,显著简化SGX enclave应用部署流程。
genode - 组件化操作系统框架的革新之选
GenodeGithub安全性开源项目微内核操作系统框架组件化
Genode是一个创新的开源操作系统框架,融合了基于能力的安全机制、微内核技术、沙盒化设备驱动和虚拟化功能。它支持多种微内核,使开发者能够进行跨内核的统一开发。Genode提供了丰富的组件生态,包括设备驱动、协议栈、库和应用程序,让用户和系统集成商能够根据具体需求选择最适合的内核。该框架的灵活性使其适用于各种场景,从嵌入式系统到桌面环境。其独特的组件化架构不仅提高了系统的安全性和可靠性,还为定制化开发提供了便利。项目采用季度发布模式,并配备全面的文档和活跃的社区支持。
gvisor - 应用程序内核 为容器提供安全隔离
GithubLinux接口gVisor容器安全容器沙箱应用程序内核开源项目
gVisor是一款应用程序内核,在应用和主机操作系统间创建隔离层。它实现类Linux接口,采用Go语言编写,运行于用户空间。gVisor提供OCI运行时runsc,支持Docker和Kubernetes集成。该项目融合虚拟机的安全性与普通应用的轻量特性,为容器安全提供了创新方案。
granule - 具有线性类型和分级模态的函数式编程语言
GithubGranule代码示例函数式编程开源项目模态类型线性类型系统
Granule是一种函数式编程语言,采用线性类型系统和分级模态类型,实现细粒度的效果和副效果控制。该语言支持精确的资源管理,并提供独特的map函数类型,可准确追踪参数函数的使用次数。Granule配备交互式模式和文档生成工具,便于研究线性类型和分级模态在编程中的应用。尽管仍处于开发阶段,Granule已提供丰富的示例和完整的标准库文档,为探索创新编程概念提供了实验平台。
granian - Rust打造的Python应用高性能HTTP服务器
GithubGranianHTTP服务器Python应用多线程开源项目性能优化
Granian是一款Rust开发的Python应用HTTP服务器,支持ASGI/3、RSGI和WSGI接口以及HTTP/1、HTTP/2、HTTPS和WebSocket协议。它提供统一的HTTP实现,适用于多个平台,解决了Unix系统上的依赖问题。Granian性能稳定,配置灵活,支持工作进程、线程和事件循环优化。该项目兼容Python 3.8+版本,目前处于活跃开发阶段。
asterinas - 用Rust开发的Linux兼容内核 提升安全性和开发体验
AsterinasGithubLinux兼容Rust语言内存安全开源项目操作系统内核
Asterinas是一个用Rust编写的操作系统内核,提供Linux兼容的ABI。它采用框架内核架构,将不安全Rust代码限制在最小可信计算基础中,提高内存安全性。Asterinas通过OSDK工具包优化开发体验,支持开源或闭源发布内核模块。目前支持x86-64虚拟机,计划2024年达到生产就绪状态。
sysbox - 开源容器运行时 提升隔离性能和系统级功能
DockerGithubLinuxSysbox容器运行时开源项目系统容器
sysbox是一个开源容器运行时,能显著提升容器的隔离性和功能。它支持在容器中运行systemd、Docker和Kubernetes等系统级软件,无需特权或复杂配置。通过先进的操作系统虚拟化技术,sysbox使容器更接近虚拟机环境,同时保持轻量高效。sysbox可与现有容器管理工具无缝集成,适用于微服务、开发测试和遗留应用迁移等多种场景。
appscope - Linux应用程序无侵入式观测工具
AppScopeGithubLinux应用程序监控开源工具开源项目系统可观测性
AppScope是一款开源的Linux应用程序观测工具,无需修改代码即可提供细粒度的可观察性。它能输出类APM的指标和事件数据,支持与现有日志和指标工具集成。AppScope提供类似代理/服务网格的功能,但不引入额外延迟,可用于探索和理解应用程序行为,实现全面的性能洞察。AppScope还能查看加密负载内容,提供类似WAF的可视性,无需代理流量。
grape - 高性能图处理和节点嵌入库
GRAPEGithub图可视化图处理图嵌入开源项目节点嵌入
GRAPE是一款高性能图处理和节点嵌入库,专为处理大规模图数据而设计。它采用Rust和Python混合开发,可在普通计算机和高性能集群上运行。GRAPE提供丰富的图加载、节点嵌入、分类和处理功能,支持多种嵌入模型和分类器。相比NetworkX,GRAPE在处理大规模图时表现更优。此外,GRAPE还提供详细的教程和文档,方便用户进行图分析和机器学习研究。
grpc - 开源高性能RPC框架 简化分布式系统开发
GithubRPC框架gRPC开源开源项目远程过程调用高性能
gRPC是一个开源的高性能远程过程调用(RPC)框架,支持多种编程语言。它实现了客户端和服务器应用程序的透明通信,简化了分布式系统的构建。gRPC具有高效、跨平台、多语言支持等特点,广泛应用于分布式系统和微服务架构。该框架提供丰富的文档和示例,便于开发者快速上手。gRPC的核心库采用C++实现,保证了优异的性能表现。
项目侧边栏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号