Project Icon

granule

具有线性类型和分级模态的函数式编程语言

Granule是一种函数式编程语言,采用线性类型系统和分级模态类型,实现细粒度的效果和副效果控制。该语言支持精确的资源管理,并提供独特的map函数类型,可准确追踪参数函数的使用次数。Granule配备交互式模式和文档生成工具,便于研究线性类型和分级模态在编程中的应用。尽管仍处于开发阶段,Granule已提供丰富的示例和完整的标准库文档,为探索创新编程概念提供了实验平台。

classgraph - 高效并行的Java类路径和模块分析工具
ClassGraphGithubJava元编程字节码分析开源项目模块扫描类路径扫描
ClassGraph是一款高效的Java类路径和模块分析工具,支持多种JVM语言。它能快速并行扫描类路径和模块路径,构建类关系图,并提供API查询元数据。无需加载类即可读取字节码,兼容JDK 7+和JPMS模块系统。ClassGraph是Java元编程和代码分析的有力助手,为开发者提供了丰富的类信息查询功能。
idiomatic-rust - Rust惯用编程指南与资源汇总
GithubRust代码规范学习资源开源开源项目编程
该项目汇集了Rust惯用编程的权威资源,包含开源项目、工作坊、书籍、文章和演讲等多样化内容。涵盖Rust编程各个层面,适合不同水平的开发者学习和参考。资源由社区持续更新维护,旨在推广Rust最佳实践,促进生态系统发展。
awesome-esolangs - 非主流编程语言的奇思妙想与创意边界
EsolangsGithub代码开发者开源项目程序设计编程语言
awesome-esolangs 是一个收录非主流编程语言的精选列表,涵盖了从基于表情符号到类似食谱格式的各种独特语言。该项目不仅列举了诸多富有创意的编程语言,还提供了相关资源、算法和社区信息,为编程爱好者和研究者展示了编程艺术的多样性和创新潜力。
leptos - 高性能全栈同构的 Rust Web 框架
GithubLeptosRustWeb框架反应式编程同构开发开源项目
Leptos 是一个全栈同构的 Rust Web 框架,基于细粒度反应式系统。它支持多种渲染模式,提供同构服务器函数、声明式 UI 构建和路由功能。Leptos 采用细粒度反应性实现高性能更新,无需虚拟 DOM。此外,它还支持 HTTP 流式传输和 Suspense 组件,适合构建现代 Web 应用。
lo - 基于泛型的Go函数式编程工具库
GithubGo切片开源项目映射泛型迭代
lo是一个基于Go 1.18+泛型的函数式编程库,提供了丰富的工具用于处理切片、映射和通道。相比反射实现,lo具有更好的类型安全性和性能。该库涵盖了数据处理、字符串操作、数学计算和并发编程等功能,可提升Go开发效率。
arcadedb - 多模型数据库管理系统,极限性能表现
ArcadeDBGithub事务处理低级Java多模型数据库开源项目极致性能
ArcadeDB是一款高性能的多模型DBMS,支持ACID事务、结构化和非结构化数据、原生图引擎、全文索引、地理空间查询及高级安全功能。兼容Neo4j Cypher、Apache Tinkerpop Gremlin、OrientDB SQL和MongoDB查询语言。可以嵌入在任何JVM语言中或通过HTTP/JSON、Postgres、Redis和MongoDB驱动进行远程访问。适用于从Raspberry Pi到多服务器云端环境,优化资源利用,适合低硬件资源场景。
llama_cpp-rs - Rust绑定库实现GGUF大语言模型CPU运行
CPU运行GGUFGithubRust绑定llama_cpp-rs大语言模型开源项目
llama_cpp-rs是一个Rust绑定库,用于在CPU上运行GGUF大语言模型。它提供简洁的API,支持快速模型加载和文本生成。该项目兼容CUDA、Vulkan等后端,并包含内存预测功能。llama_cpp-rs简化了大语言模型的使用流程,适合各层级开发者。
wundergraph - 高效API组合的后端服务框架
API组合GithubGraphQLTypeScriptWunderGraph后端框架开源项目
WunderGraph是一款创新的Backend for Frontend框架,通过API组合优化开发工作流。它融合API网关和BFF模式,引入包管理概念,简化API组合过程。该框架支持多API统一访问,减少胶水代码,并提供API依赖分析和可观测性功能。WunderGraph为前端开发者提供类型安全的客户端,兼容React、NextJS等主流框架,有效提高API开发和使用效率。
monster - 现代C++模板元编程框架助力编译时算法开发
C++模板元编程GithubMonster序列操作开源项目编译时算法高阶元函数
Monster是一款基于C++20的模板元编程框架,专为编译时算法和序列操作设计。它提供了一套完整的工具,支持纯类型编程,并充分利用了概念和Lambda模板等现代C++特性。作为一个仅包含头文件的库,Monster无需额外依赖,适用于各种需要高效编译时计算的项目。该框架通过简化高级模板元编程的复杂性,使开发者能更轻松地实现和维护相关代码。
项目侧边栏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

稿定AI

稿定设计 是一个多功能的在线设计和创意平台,提供广泛的设计工具和资源,以满足不同用户的需求。从专业的图形设计师到普通用户,无论是进行图片处理、智能抠图、H5页面制作还是视频剪辑,稿定设计都能提供简单、高效的解决方案。该平台以其用户友好的界面和强大的功能集合,帮助用户轻松实现创意设计。

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