almide
无论被AI改写多少次，代码都能继续通过的语言
功能
- 只追一个指标：经AI修改后仍能通过的代码比例
- 报错时把修法收敛到唯一一种
- 经Rust编译为原生与Wasm，输出逐字节一致
系列
做语言
静态类型语言 Almide 本体及其周边：规范语义与一致性语料（als）、统一管理的文法（almide-grammar）与由它生成的解析器（parsegen、tree-sitter-almide）、编辑器支持（vscode-almide）、导出到其他语言与 WASM（almide-bindgen、almide-wasm-bindgen、almide-lander）、文档与 playground，以及每天测量生成代码被改动后存活率的场地（almide-dojo）。Arlk是用Almide编写、追踪定理前提的证明语言。用Racket编写的wyve在LLVM IR之上放置静态语义，让优化器记录契约。
全部系列22
公开仓库
20,801
提交
7
语言
2026–2026
年份
详看一件
作品
22 / 22-
almide almide
无论被AI改写多少次，代码都能继续通过的语言
- Almide
- Shell
- code-generation
-
als almide
Almide语言规范与一致性语料库，可评判任意almide二进制
- Rust
- Python
- almide
-
wyve O6lvl4
LLVM IR之上、为优化器编写契约的静态语义语言
- C
- Lean
-
docs almide
Almide语言文档站,示例可在浏览器运行
- TypeScript
- CSS
- almide
-
almide-bindgen almide
用Almide编写的通用FFI绑定生成库
- Shell
- almide
- bindgen
-
almide-dojo almide
每日测量Almide中LLM代码的修改存活率
- HTML
- Shell
- almide
-
almide-grammar almide
Almide语法定义的唯一来源模块
- almide
- grammar
- syntax-highlighting
-
vscode-almide almide
面向Almide语言.almd文件的VS Code扩展
- almide
- programming-language
- syntax-highlighting
-
tree-sitter-almide almide
Almide语言的Tree-sitter语法
- JavaScript
- Rust
- almide
-
llm almide
Almide的LLM流式客户端
-
nnlib almide
Almide神经网络计算库
- Shell
-
playground almide
在浏览器中编写并运行Almide代码的在线playground
- Almide
- HTML
- almide
-
arlk O6lvl4
用Almide编写、追踪证明前提的语言
- Shell
- Python
-
almide-lander almide
将Almide模块导出为21种语言原生包的工具
- almide
- code-generation
- ffi
-
almide-wasm-bindgen almide
为Almide生成WASM与JS/TS绑定的库
- JavaScript
- HTML
-
almide.github.io almide
介绍Almide编程语言的静态网站
- CSS
- JavaScript
-
cloud-examples almide
在多种云运行方式下复用Almide API的示例
- Almide
- Shell
-
almide-agents almide
教编码智能体正确编写Almide的AGENTS.md与技能包
-
almide-examples O6lvl4
Almide语言的示例程序与mini-git基准实现
- Almide
-
almide-web almide
面向Almide WASM应用的浏览器API绑定
- Almide
- Shell
-
parsegen almide
Almide编写的tree-sitter兼容解析器生成器
- Shell
-
almide-js almide
Almide的JS/TS向WASM SDK进度与基准记录
- Shell
- Almide