Project Icon

tao

具有多态和代数效应的静态类型函数式语言

Tao是一种静态类型的函数式编程语言,具有多态性、类型类和广义代数效应等特性。它支持和类型、模式匹配、一级函数和柯里化,并提供良好的诊断功能。Tao致力于实现程序完整性和极致优化,同时作为学习工具。该语言采用Hindley-Milner类型推断,支持代数数据类型和类型多态。Tao目前正在开发中,未来计划加入模块系统和LLVM后端等功能。

dtm - 分布式事务框架DTM支持多模式跨语言应用
DTMGithub分布式事务工作流开源项目微服务数据一致性
DTM是一个开源分布式事务框架,提供跨服务的数据一致性解决方案。支持saga、tcc、xa等多种模式,兼容多种编程语言和存储引擎。具有高可用性和水平扩展能力,适用于缓存管理、库存扣减、订单系统等场景。已在腾讯、字节跳动等公司得到应用。
purescript - 将Haskell启发的函数式编程语言编译为JavaScript
GithubHaskellJavaScriptPureScript开源项目强类型编程语言
PureScript是一个开源的小型强类型函数式编程语言,其源代码托管在GitHub上。它受Haskell启发,结合了强大的类型系统和函数式编程特性,可编译为JavaScript,同时保持与JavaScript生态系统的兼容性。该项目提供丰富的开发资源,包括官方文档、在线试用平台和包索引。PureScript拥有活跃的社区,支持多个交流平台供开发者讨论和协作。
proto - 多语言版本管理的统一工具链
Githubproto多语言支持开源项目性能优化版本管理跨平台
proto是一个基于Rust开发的多语言版本管理工具,支持Bun、Deno、Go、Node、Python和Rust等编程语言。它提供跨平台、上下文版本检测和校验和验证功能,通过WASM实现可插拔架构。proto为开发者提供统一的工具链,简化多语言项目的版本管理流程,具有高性能和可扩展性。
curv - 函数式编程创造数学艺术的开源语言
3D打印CurvGPU加速Github几何建模函数表示开源项目
Curv是一种开源的函数式编程语言,专注于数学艺术创作。它支持2D和3D几何建模、全彩色、动画和3D打印。Curv易于上手,适合初学者,同时为专家提供F-Rep编程能力。该语言采用GPU加速渲染,可导出高质量3D打印网格。Curv支持无限细节和复杂的数学描述形状,为艺术创作提供了灵活的工具。
tygo - 从Golang源文件生成Typescript类型,保留注释并支持常量
GithubGolangTygoTypescript开源项目注释保留类型转换
Tygo是一个用来将Golang源文件转化为Typescript类型的工具,能够自动保留注释,识别常量,并支持非结构体类型表达。适用于基于Golang REST API的前端代码,全面支持Golang 1.18的泛型和结构体继承。用户可以通过CLI或库模式进行配置和使用,轻松完成类型转换。
mal - 分步构建Lisp解释器的开源学习工具
GithubLispmal多语言实现开源项目解释器
mal是一个受Clojure启发的开源Lisp解释器项目,分为11个增量步骤展示Lisp核心概念。该项目已在89种编程语言中实现,包括Ada、C++和Java等。mal提供详细指南和FAQ,可作为学习Lisp和编程语言实现的教育资源。用户可以参考mal来创建自己的Lisp解释器实现。
foal - Node.JS Web 应用开发框架 专注简洁与效率
FoalTSGithubNode.js框架TypeScriptWeb应用开发开源项目
Foal 是一个功能完备的 Node.JS Web 应用开发框架,提供 CLI、测试工具、ORM、GraphQL 和 Swagger API 等组件。该框架采用 TypeScript 编写,注重代码简洁性和开发效率。Foal 具有全面的文档和严格的测试覆盖,旨在为开发者提供稳定可靠的开发环境。
zod - 简化TypeScript模式验证与类型推断的现代库
GithubTypeScriptZod开源库开源项目模式验证类型推断
Zod是为TypeScript量身打造的模式声明和验证库。它通过单一声明自动推断静态类型,消除重复工作。该库以零依赖、轻量级和不可变性为特色,兼容Node.js和现代浏览器。Zod提供简洁的链式接口和函数式方法,便于构建复杂数据结构。它优化了开发体验,简化了类型管理,是TypeScript项目的理想选择。
panda - 现代Web开发的通用样式解决方案
CSS-in-JSGithubPanda开源项目构建时间样式解决方案类型安全
Panda是一个为现代Web开发设计的通用样式解决方案。它在构建时生成CSS,提供类型安全和可扩展的CSS-in-JS功能。Panda兼容多种JavaScript框架,支持高级设计令牌,并通过代码生成实现类型检查和自动补全。开发者可以使用简洁的API编写样式对象或属性,Panda会在构建时提取并输出包含级联层和CSS变量等现代特性的样式。
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

白日梦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号