nanolang

让大模型少写代码也能跑起来的极简语言

开源 🏷️完全免费 🔧 仅开源项目,无在线服务,需自行部署 编程开发 🍴 复刻 24 🐛 待处理 42 👀 关注 6
GitHub ↗
GitHub 星标 ★ 630
维护状态 活跃
是否开源 开源
定价模式 🏷️完全免费 开源免费项目,无付费计划

项目预览

nanolang 项目界面预览图
图片来源:GitHub 官方仓库名片

项目数据

分类编程开发
开发团队jordanhubbard
定价模式🏷️完全免费
价格说明开源免费项目,无付费计划
访问状态🔧 仅开源项目,无在线服务,需自行部署
是否开源是
开源协议Apache-2.0
主要语言C
技术栈/模型domain-ai,domain-lang,llm,new-language-design,thought-exercise,vibe-coding
GitHub 星标★ 630
上线时间2025-09-30 00:00:00
代码更新2026-11-04
仓库体积563.2 MB
本站数据更新2026-11-04
维护状态活跃
收录时间2026-09-16
浏览次数1

项目介绍

nanolang 是一个用 C 语言实现的极小实验性编程语言,核心定位是作为编码大模型的编译目标。它要解决的问题是:LLM 生成的代码往往冗长、依赖复杂、容易引入细微错误,而 nanolang 通过极简的语法和语义,让模型只需输出少量 token 就能表达完整程序,降低生成成本与出错概率。项目提供词法/语法解析、解释执行或编译执行的基础设施,并围绕 LLM 生成场景设计语言特性,例如减少样板代码、统一表达方式、便于自动验证。它属于“vibe coding”与语言设计交叉的探索性项目,适合研究者、AI 工具开发者用来实验“模型直接生成可执行程序”的链路,也可作为教学示例理解编译器前端与 LLM 集成。当前星标约 627,处于早期阶段。

Star 增长趋势

本站每日记录该项目 GitHub 星标变化,观测越久曲线越完整

数据来源:GitHub API 逐日快照 · 收录于 2026-09-16 · 当前星标 ★ 630

技术标签

使用教程

难度:高级 约 90 分钟 部署方式:本地构建 5 步

环境要求

  • C 工具链
  • Rust 或项目声明的构建依赖
  • 可选 Rocq(形式化证明)

安装与启动步骤

  1. 1构建

    仓库自带构建脚本,先编出编译器与虚拟机。

    make build
  2. 2编译并运行

    先写一个最小程序走通编译链路。

    ./bin/nanoc hello.nano -o hello
  3. 3走虚拟机路径

    它同时提供解释执行与字节码两条路径,可对比行为。

    ./bin/nano_virt hello.nano --run
  4. 4隔离外部调用

    它的安全设计是把危险外部调用放到独立进程,用参数开启隔离。

    ./bin/nano_vm --isolate-ffi hello.nvm
  5. 5可选的开发工具

    需要编辑器支持就单独构建语言服务与调试适配器。

    make lsp

如何确认成功

同一程序在编译执行与虚拟机执行下输出一致,且开启隔离后外部调用仍可用

注意事项

  • 它是自研语言,生态与标准库都很小,只适合学习与实验。
  • 形式化证明部分要额外的证明助手,构建门槛高。
  • 带原生性能需求时它走转译 C 的路径,不是直接生成机器码。

核心亮点

  • 用 C 实现,代码量小、依赖少,便于嵌入或改造
  • 语言设计围绕 LLM 生成优化,token 效率高,适合做代码生成实验
  • 提供从解析到执行的完整最小闭环,可直接验证模型输出

不足之处

  • 生态和标准库几乎为零,无法直接用于生产项目
  • 语言规范与文档尚不完善,学习成本对非研究者偏高

适用场景

  • 研究 LLM 生成代码的编译与执行链路
  • 构建 AI 编程助手时作为轻量目标语言
  • 教学演示如何设计面向机器的极简语言

替代项目

Lua、Wren、MicroPython

上一篇:pr-af

下一篇:RPG-ZeroRepo

同类项目推荐

semble_rs 开源

让 AI 编程助手在大型代码库中秒级定位相关代码,告别慢速 grep。

Fast, AI-agent-native code search in Rust — hybrid BM25 + semantic, Tree-sitter AST···

★ 216 2026-08-09
agy-staff 开源

给 Claude Code 和 Codex 加个 Gemini 外援,随叫随到

Hire Google's Antigravity CLI (agy) as a fast Gemini staffer for Claude Code and Ope···

★ 815 2026-09-28
spec-kitty 开源

用规格驱动 AI 编码,看板管进度,自动合并提效

Spec-Driven Development with organizational governance. Specs tell AI agents what to···

★ 1712 2026-08-09
cursor-agent 开源

用Python复刻Cursor编程助手,支持多模型自由切换

Cursor Agent Tools - A Python-based AI agent that replicates Cursor's coding assista···

★ 137 2026-09-13
MioIsland 开源

把 AI 编程助手塞进 Mac 刘海,不切屏就能盯进度、点批准

macOS Dynamic Island for AI coding agents. Monitor, approve, and jump to Claude Code···

★ 540 2026-08-09
loopy 开源

写一遍数组循环,自动生成 CPU/GPU 高效代码

A code generator for array-based code on CPUs and GPUs

★ 639 2026-10-19
gpt-macro 开源

在 Rust 编译时用 ChatGPT 自动生成代码,减少手写模板

ChatGPT powered Rust proc macro that generates code at compile-time.

★ 669 2026-08-09
claude-source-leaked 开源

扒开Claude Code的底裤,看隐藏功能和省钱技巧

Claude Code v2.1.88 source analysis: system prompts, 87 hidden feature flags, cost o···

★ 135 2026-08-09
jupyter-ai 开源

在 JupyterLab 里直接对话,让 AI 帮你写代码、改报错、读数据

An open source extension that connects AI agents to computational notebooks in Jupyt···

★ 4434 2026-09-12