mal

分步构建Lisp解释器的开源学习工具

mal是一个受Clojure启发的开源Lisp解释器项目,分为11个增量步骤展示Lisp核心概念。该项目已在89种编程语言中实现,包括Ada、C++和Java等。mal提供详细指南和FAQ,可作为学习Lisp和编程语言实现的教育资源。用户可以参考mal来创建自己的Lisp解释器实现。

访问官网

Github

文档

论文

介绍相关项目

basalt - 使用Mojo语言开发的机器学习框架

BasaltGithubMojo开源项目性能优化机器学习框架

Basalt是一个独立的机器学习框架，利用Mojo语言进行从头开发，性能媲美PyTorch等成熟框架。基于MLIR技术，Basalt通过静态图优化性能。目前，项目正在持续更新，计划支持更多操作符、图子模块和GPU等特性。尝试使用Basalt为机器学习项目带来显著加速效果。

llama3.java - Java单文件实现Llama 3与3.1推理，支持编译器优化测试

GithubGraal compilerJavaLLama 3LLama 3.1Llama3.java开源项目

该项目使用单个Java文件实现Llama 3和3.1模型推理，源于llama2.java和llama2.c，具有教育价值并专注JVM编译器的优化测试，尤其是Graal编译器。项目无依赖，支持GGUF格式解析、Llama 3标记器及多种量化模型。提供--chat与--instruct的CLI模式，推荐使用OpenJDK 21+以充分利用Java Vector API提升性能。

jasmin - 安全高效密码学编程语言与编译器

GithubJasmin密码学开源软件开源项目编程语言编译器

Jasmin是一个开源项目，包含专为高保证和高速密码学设计的编程语言及其编译器。这套工具使开发者能够创建安全高效的密码学代码。项目采用MIT许可证，为密码学研究和应用提供重要资源。相关工具和详细信息可在项目Wiki获取，适合密码学专业人士和爱好者使用。

llama.go - 基于Golang的高效LLM推理与调试实现

GithubGolangLLaMALarge Model Collider多线程开源项目跨平台兼容

llama.go是一个基于Golang的LLM推理项目，旨在通过纯Golang编写的张量数学与多线程优化，实现高效的LLaMA模型推理，替代C++实现。支持LLaMA V1和V2模型架构，兼容Mac、Linux和Windows，涵盖INT8量化、AVX2加速等高级功能。未来计划扩展支持Nvidia GPU、AVX512和INT4量化，并提供内置REST API，适用于真实项目中的服务器模式。

lsp-java - Emacs Java开发环境，基于Eclipse JDT语言服务器

Eclipse JDTEmacsGithubJava IDELanguage Serverlsp-java开源项目

lsp-java为Emacs提供了Java开发环境，集成Eclipse JDT语言服务器。该项目支持实时错误报告、代码补全、文档查看、代码重构、代码导航等功能。此外还包括Maven和Gradle项目支持、调试器、测试运行器及Spring Boot集成。lsp-java通过这些功能，使Emacs成为一个功能齐全的Java开发平台。

llm.c - 纯C和CUDA实现的高效轻量级语言模型训练框架

CUDAC语言GPU训练GithubLLM开源项目

llm.c是一个使用纯C和CUDA实现的高效轻量级语言模型训练框架。该项目不依赖PyTorch或cPython等大型框架，通过简洁代码实现GPT-2和GPT-3系列模型的预训练。llm.c支持单GPU、多GPU和多节点训练，提供详细教程和实验示例。项目在保持代码可读性的同时追求高性能，适用于教育和实际应用。此外，llm.c支持多种硬件平台，并有多个编程语言的移植版本。

dalai - 在电脑上运行LLaMA和Alpaca模型，跨平台兼容

AI模型AlpacaDalaiGithubLLaMA开源项目跨平台

Dalai项目允许用户在Linux、Mac和Windows系统上运行LLaMA和Alpaca模型，提供用户友好的Web应用和JavaScript API。通过简单的安装步骤即可在本地使用这些模型，支持多种模型尺寸，适应不同计算机配置。详细的安装和故障排除指南帮助用户快速上手。

langchain-java - 实现了LangChain在Java语言中的迁移和应用

GithubJavaLLMLangChain JavaOpenAI大数据开源项目

LangChain Java项目实现了LangChain在Java语言中的迁移和应用，方便开发者在大数据领域构建基于LLM的应用。它支持多种集成，包括OpenAI、Azure OpenAI、ChatGLM2等语言模型，以及向量存储方案如Pinecone和Milvus。项目还提供丰富的示例和快速入门指南，适用于多种应用场景。如有任何问题，可以通过GitHub提交issue或联系开发者。

slang - 现代GPU的高性能模块化着色语言

GPU编程GithubSlang图形API开源项目着色语言自动微分

Slang是一种基于HLSL的高性能着色语言，为现代GPU和图形API优化设计。它支持模块化开发、自动微分、泛型和接口等特性，并保持与HLSL代码的兼容性。Slang能够生成多个目标平台的代码，如D3D12、Vulkan和Metal，同时提供完整的反射信息和调试功能。这使得Slang成为管理大型着色器代码库的有力工具，能够提升开发效率和代码维护性。

llvm-project - 开源编译器基础设施和工具链

ClangGithubLLVM中间表示代码优化开源项目编译器基础设施

LLVM是一个开源编译器基础设施项目，提供用于构建优化编译器和工具链的框架。核心组件包括LLVM后端、Clang前端、libc++标准库和LLD链接器。LLVM支持多种编程语言，提供中间表示处理和代码生成工具。项目致力于提高编译效率和代码性能，为开发者提供灵活的编译工具集。LLVM广泛应用于编译器开发、静态分析和运行时优化等领域。

相关项目

推荐项目

豆包MarsCode

豆包 MarsCode 是一款革命性的编程助手，通过AI技术提供代码补全、单测生成、代码解释和智能问答等功能，支持100+编程语言，与主流编辑器无缝集成，显著提升开发效率和代码质量。

AI写歌

Suno AI是一个革命性的AI音乐创作平台，能在短短30秒内帮助用户创作出一首完整的歌曲。无论是寻找创作灵感还是需要快速制作音乐，Suno AI都是音乐爱好者和专业人士的理想选择。

有言AI

有言平台提供一站式AIGC视频创作解决方案，通过智能技术简化视频制作流程。无论是企业宣传还是个人分享，有言都能帮助用户快速、轻松地制作出专业级别的视频内容。

Kimi

Kimi AI助手提供多语言对话支持，能够阅读和理解用户上传的文件内容，解析网页信息，并结合搜索结果为用户提供详尽的答案。无论是日常咨询还是专业问题，Kimi都能以友好、专业的方式提供帮助。

阿里绘蛙

绘蛙是阿里巴巴集团推出的革命性AI电商营销平台。利用尖端人工智能技术，为商家提供一键生成商品图和营销文案的服务，显著提升内容创作效率和营销效果。适用于淘宝、天猫等电商平台，让商品第一时间被种草。

吐司

探索Tensor.Art平台的独特AI模型，免费访问各种图像生成与AI训练工具，从Stable Diffusion等基础模型开始，轻松实现创新图像生成。体验前沿的AI技术，推动个人和企业的创新发展。

SubCat字幕猫

SubCat字幕猫APP是一款创新的视频播放器，它将改变您观看视频的方式！SubCat结合了先进的人工智能技术，为您提供即时视频字幕翻译，无论是本地视频还是网络流媒体，让您轻松享受各种语言的内容。

美间AI

美间AI创意设计平台，利用前沿AI技术，为设计师和营销人员提供一站式设计解决方案。从智能海报到3D效果图，再到文案生成，美间让创意设计更简单、更高效。

AIWritePaper论文写作

AIWritePaper论文写作是一站式AI论文写作辅助工具，简化了选题、文献检索至论文撰写的整个过程。通过简单设定，平台可快速生成高质量论文大纲和全文，配合图表、参考文献等一应俱全，同时提供开题报告和答辩PPT等增值服务，保障数据安全，有效提升写作效率和论文质量。

使用协议隐私政策广告服务

投诉举报邮箱: service@vectorlightyear.com