Project Icon

clash-compiler

基于Haskell的函数式硬件描述语言

Clash是一种基于Haskell的函数式硬件描述语言,可将高级描述转换为VHDL、Verilog或SystemVerilog。它具备强类型系统、交互式REPL和高阶函数等特性,支持基于流的同步时序电路设计和多时钟域设计。Clash提供类型安全的时钟域交叉,并拥有活跃的社区支持。开发者可通过多种方式安装或从源码构建Clash,以便进行高效的数字电路设计。

clash-verge - 基于Tauri的开源跨平台网络代理工具
AI绘画GithubMidjourney创意表达开源项目文字生成图像版权问题
clash-verge是基于Tauri框架开发的开源网络代理工具,支持Windows、macOS和Linux系统。它提供图形界面,具备配置导入、规则管理和系统代理设置等功能,并支持多种代理协议。该项目定期更新,旨在提供稳定可靠的网络访问解决方案。
funflow - 组合和运行可重用计算工作流的Haskell库
FunflowGithubHaskell工作流开发工具开源项目程序设计
Funflow是一个Haskell库,用于编程式编写和组合可重用的计算工作流。它通过内容寻址存储提高工作流的可重复性,并提供cookiecutter模板和教程便于快速上手。该项目支持Stack安装,提供API文档,适合管理复杂计算任务的开发者。
unison - 面向分布式系统的现代函数式语言
GithubUnison函数式编程分布式系统开源项目静态类型
Unison是一种现代化的静态类型纯函数式编程语言,专注于分布式系统开发。它允许开发者用单一程序描述完整的分布式系统,支持本地模拟和实际分布式环境运行。Unison提供了强大的分布式计算库构建能力,采用独特的代码库管理方式,并支持语言服务器协议(LSP)。该项目目前处于活跃开发阶段,并提供Web界面便于使用。
circt - 硬件设计领域的开源编译器基础设施
CIRCTEDAGithubLLVMMLIR开源项目硬件设计
CIRCT项目旨在将MLIR和LLVM开发方法应用于硬件设计工具领域。它提供一致的、模块化的基础设施,支持多种中间表示,以解决现有EDA工具的局限性。CIRCT鼓励社区通过Discourse论坛、周会和代码贡献参与项目,共同推进开放硬件工具的发展。
Clash-for-Windows_Chinese - 开源多平台代理工具中文版
Clash for WindowsGithub代理工具开源项目汉化版网络技术软件本地化
Clash for Windows Chinese是一个开源项目,为Clash for Windows提供中文界面。它支持多个版本,包括从0.15.3到最新的兼容版本。用户可以选择安装程序或替换app.asar文件来实现汉化。项目还提供优化版本,并提醒用户在使用时遵守相关法规。
clangir - 融合Clang与优化IR的编译器基础设施
CIRClangIRGithub开源项目编程工具编译器基础设施软件开发
ClangIR是一个开源的C++编译器基础设施项目,结合了Clang前端和优化的中间表示(IR)设计。该项目致力于提高代码分析和转换效率,适用于编译器开发和性能优化领域。ClangIR的灵活架构支持高效的代码处理流程,为开发者提供了强大的工具。详细信息、构建指南和文档可在clangir.org获取。
compiler-explorer - 多语言实时编译与汇编代码可视化平台
Compiler ExplorerGithub交互式编译代码分析多语言支持开源项目
Compiler Explorer是一个开源的在线编译探索平台,支持C、C++、Rust等30多种编程语言。用户可以实时编辑代码并查看对应的汇编输出,平台集成了多种编译器和代码可视化工具。项目始于2012年,最初旨在展示C++代码的汇编转换过程,现已发展成为每周处理超过300万次编译请求的公共服务。作为一个强大的开发工具,Compiler Explorer帮助程序员深入理解代码编译原理,优化性能,提高编程技能。这个持续更新维护的开源项目支持多人协作,为开发者提供了实时编译、代码优化和性能分析的宝贵资源。
xls - 开源高级硬件合成工具链
GithubXLS加速器开发开源项目硬件综合高级综合工具链
XLS是谷歌开源的高级硬件合成工具链,可将高级功能描述转换为可综合的Verilog和SystemVerilog设计。它支持快速开发同时适用于软件和硬件的设计,包含DSLX前端、IR优化、调度和代码生成等功能。XLS旨在促进硬件/软件协同设计,加速专用硬件开发,以应对摩尔定律放缓带来的挑战。
elixir - 动态函数式编程语言 专注可扩展应用开发
ElixirGithub函数式编程动态语言可扩展性可维护性开源项目
Elixir是一种动态函数式编程语言,专注于构建可扩展和易维护的应用程序。该语言具备出色的并发性能,支持分布式系统开发,并提供强大元编程功能。Elixir基于Erlang虚拟机运行,继承了其稳定性和容错特性。凭借友好语法和丰富标准库,Elixir适用于Web开发、物联网和数据处理等多个领域。活跃的社区持续推动Elixir的发展与完善。
holyc-lang - 开源HolyC语言编译器项目
GithubHolyCTempleOSx86_64开源项目编程语言编译器
HolyC-lang是一个用C语言实现的HolyC编译器项目。该编译器支持浮点运算、继承和循环等主要语言特性,可将HolyC源代码编译为x86_64兼容的二进制文件。项目提供完整的语言文档,并包含字符串、哈希表、I/O、数学和网络等库。HolyC-lang致力于实现Terry A. Davis设计的HolyC语言,为开发者提供独特的编程体验。
项目侧边栏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号