
项目预览
项目数据
项目介绍
Star 增长趋势
本站每日记录该项目 GitHub 星标变化,观测越久曲线越完整
数据来源:GitHub API 逐日快照 · 收录于 2026-09-16 · 当前星标 ★ 630
技术标签
使用教程
环境要求
- C 工具链
- Rust 或项目声明的构建依赖
- 可选 Rocq(形式化证明)
安装与启动步骤
-
1构建
仓库自带构建脚本,先编出编译器与虚拟机。
make build -
2编译并运行
先写一个最小程序走通编译链路。
./bin/nanoc hello.nano -o hello -
3走虚拟机路径
它同时提供解释执行与字节码两条路径,可对比行为。
./bin/nano_virt hello.nano --run -
4隔离外部调用
它的安全设计是把危险外部调用放到独立进程,用参数开启隔离。
./bin/nano_vm --isolate-ffi hello.nvm -
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···
agy-staff
开源
给 Claude Code 和 Codex 加个 Gemini 外援,随叫随到
Hire Google's Antigravity CLI (agy) as a fast Gemini staffer for Claude Code and Ope···
spec-kitty
开源
用规格驱动 AI 编码,看板管进度,自动合并提效
Spec-Driven Development with organizational governance. Specs tell AI agents what to···
cursor-agent
开源
用Python复刻Cursor编程助手,支持多模型自由切换
Cursor Agent Tools - A Python-based AI agent that replicates Cursor's coding assista···
MioIsland
开源
把 AI 编程助手塞进 Mac 刘海,不切屏就能盯进度、点批准
macOS Dynamic Island for AI coding agents. Monitor, approve, and jump to Claude Code···
loopy
开源
写一遍数组循环,自动生成 CPU/GPU 高效代码
A code generator for array-based code on CPUs and GPUs
gpt-macro
开源
在 Rust 编译时用 ChatGPT 自动生成代码,减少手写模板
ChatGPT powered Rust proc macro that generates code at compile-time.
claude-source-leaked
开源
扒开Claude Code的底裤,看隐藏功能和省钱技巧
Claude Code v2.1.88 source analysis: system prompts, 87 hidden feature flags, cost o···
jupyter-ai
开源
在 JupyterLab 里直接对话,让 AI 帮你写代码、改报错、读数据
An open source extension that connects AI agents to computational notebooks in Jupyt···