项目精选
nanolang
面向编码 LLM 的实验性编程语言
01
项目亮点
- Coq 形式验证核心
- 多后端转译
- NanoISA 虚拟机
- 内置 LSP 与调试器
FACTS
来自当前修订的事实
- repository owner
- jordanhubbard
- repository name
- nanolang
- description
- A tiny experimental language designed to be targeted by coding LLMs
- primary language
- C
- license
- Apache-2.0
- topics
- domain-ai, domain-lang, llm, new-language-design, thought-exercise, vibe-coding
- source count
- 1