Project Icon

tilck

轻量级Linux兼容内核 专注教育与嵌入式应用

Tilck是一款教育性的单内核x86操作系统,在二进制级别与Linux兼容。其简洁设计和小巧规模使其成为内核模式实验的理想平台。Tilck能运行BusyBox等Linux程序,无需自定义应用。它支持FAT32文件系统、进程和信号处理、I/O操作等,可运行Vim和TinyCC等控制台应用。Tilck致力于成为嵌入式系统的优选,弥合嵌入式Linux与实时操作系统间的差距。

asterinas - 用Rust开发的Linux兼容内核 提升安全性和开发体验
AsterinasGithubLinux兼容Rust语言内存安全开源项目操作系统内核
Asterinas是一个用Rust编写的操作系统内核,提供Linux兼容的ABI。它采用框架内核架构,将不安全Rust代码限制在最小可信计算基础中,提高内存安全性。Asterinas通过OSDK工具包优化开发体验,支持开源或闭源发布内核模块。目前支持x86-64虚拟机,计划2024年达到生产就绪状态。
gokrazy - 为Go程序打造的轻量级嵌入式操作系统和安全部署方案
GitHubGithubGo语言Raspberry Pigokrazy嵌入式系统开源项目
gokrazy是为Raspberry Pi和PC设计的嵌入式操作系统,通过移除非必要软件和使用内存安全语言来提高系统安全性。它允许Go开发者将应用部署为独立设备,简化了系统维护。项目提供SD卡镜像创建、固件管理等工具,为开发者提供安全高效的嵌入式开发环境。
liquidctl - 开源跨平台液冷系统管理工具
Githubliquidctl命令行界面开源项目液冷控制设备驱动跨平台工具
liquidctl是一款开源的跨平台工具,用于管理液冷系统和其他计算机设备。它支持多种品牌的AIO液冷器、风扇控制器和LED控制器等硬件。通过命令行接口,可以列出设备、初始化、调整风扇曲线和设置LED灯效。liquidctl还可集成到其他程序和脚本中实现自动化。该工具兼容Linux、macOS和Windows等操作系统,提供统一的设备管理体验。
30dayMakeOS - 30天实践操作系统开发全过程
C语言Github图形界面多任务开源项目操作系统开发汇编语言
该项目基于《30天自制操作系统》,展示了从汇编到C语言,从引导程序到图形界面的操作系统开发全过程。涵盖内存管理、多任务处理、文件系统等关键领域,读者可通过四周学习掌握核心概念和实现技术,最终开发出基础功能完整的操作系统。项目适合操作系统爱好者和计算机科学学生实践学习。
sleek - 跨平台开源待办事项管理器 - 简洁高效的todo.txt工具
Githubsleektodo.txt语法todo管理器开源软件开源项目跨平台
sleek是一款基于todo.txt语法的开源待办事项管理器,支持Windows、macOS和Linux。它提供简洁界面和核心功能,包括标签过滤、自定义分组和智能全文搜索,方便信息检索。sleek支持多语言,可与其他todo.txt应用集成,助力用户高效管理任务。此外,它还支持隐藏或归档已完成任务,并能实时扫描todo.txt文件变化。
slim - 开源容器优化工具 提升安全性和性能
GithubSlimToolkit安全性容器优化容器调试开源项目镜像瘦身
Slim是一款开源容器优化工具,可检查、优化和调试容器。它能显著缩减镜像体积,增强安全性,并提供高级可视化。无需修改原始镜像,Slim可将镜像缩小30倍,同时自动生成安全配置。支持多种编程语言和基础镜像,通过动态分析了解应用需求,优化容器结构。Slim简化了容器开发流程,让容器更小巧、安全和易用。
lvgl - 轻量级高性能嵌入式图形界面库
GithubLVGLUI图形库嵌入式开源项目跨平台
LVGL是一款开源的嵌入式图形库,用于创建现代化用户界面。支持多种MCU、MPU和显示器,运行仅需32KB RAM和128KB Flash。提供30多种控件、样式系统、布局管理和多语言排版。集成Arduino、PlatformIO等多个平台,附带详细文档和示例。适用于各类嵌入式设备的GUI开发。
tiny-engine - 灵活定制的低代码平台开发工具
AI应用GithubTinyEngine低代码平台前端开发开源项目跨端组件
TinyEngine是一个开源的低代码平台开发工具,支持跨端跨框架前端组件。它允许在线实时构建、二次开发或集成低代码平台功能,可直接生成部署源代码。TinyEngine支持接入第三方组件和自定义扩展插件,实现高代码和低代码的混合开发。该工具还集成AI大模型能力,提高应用开发效率。
crun - 轻量级C语言实现的OCI容器运行时
C语言GithubOCI Container Runtime低内存占用容器运行时开源项目性能优化
crun是一个用C语言编写的OCI容器运行时,具有高性能和低内存占用特点。它完全符合OCI规范,可作为库轻松集成到其他项目中。与Go语言实现的runc相比,crun在性能和资源利用率方面表现更佳,能在更严格的内存限制下运行容器。crun支持静态编译,并提供Lua绑定,适合需要高效容器管理的应用场景。
thinc - 灵活轻量的深度学习库,支持多种主流框架
GithubMXNetPyTorchTensorFlowThincdeep learning开源项目
Thinc是一款轻量级深度学习库,提供简洁的函数式编程API,支持与PyTorch、TensorFlow、MXNet等框架的集成。用户可以通过Thinc构建、配置和部署自定义模型。Thinc支持类型检查、简洁的函数式模型定义、可扩展的后台系统,并兼容Python 3.6+,适用于Linux、macOS和Windows操作系统。
项目侧边栏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号