无论被AI改写多少次，代码都能继续通过的语言

• Almide
• Shell
• code-generation

Almide语言规范与一致性语料库，可评判任意almide二进制

• Rust
• Python
• almide

LLVM IR之上、为优化器编写契约的静态语义语言

• C
• Lean

Almide语言文档站,示例可在浏览器运行

• TypeScript
• CSS
• almide

用Almide编写的通用FFI绑定生成库

• Shell
• almide
• bindgen

每日测量Almide中LLM代码的修改存活率

• HTML
• Shell
• almide

Almide语法定义的唯一来源模块

• almide
• grammar
• syntax-highlighting

面向Almide语言.almd文件的VS Code扩展

• almide
• programming-language
• syntax-highlighting

Almide语言的Tree-sitter语法

• JavaScript
• Rust
• almide

Almide的LLM流式客户端

Almide神经网络计算库

• Shell

在浏览器中编写并运行Almide代码的在线playground

• Almide
• HTML
• almide

用Almide编写、追踪证明前提的语言

• Shell
• Python

将Almide模块导出为21种语言原生包的工具

• almide
• code-generation
• ffi

为Almide生成WASM与JS/TS绑定的库

• JavaScript
• HTML

介绍Almide编程语言的静态网站

• CSS
• JavaScript

在多种云运行方式下复用Almide API的示例

• Almide
• Shell

教编码智能体正确编写Almide的AGENTS.md与技能包

Almide语言的示例程序与mini-git基准实现

• Almide

面向Almide WASM应用的浏览器API绑定

• Almide
• Shell

Almide编写的tree-sitter兼容解析器生成器

• Shell

Almide的JS/TS向WASM SDK进度与基准记录

• Shell
• Almide

面向Almide的AES-128-CFB8加密库

• Rust

Almide的多模式DFA匹配库,将正则集编译为单一自动机

• Shell

面向Almide的纯Almide SVG文档生成库

• almide
• codegen
• svg

Almide 的纯 Almide YAML 解析与序列化库，支持 Codec

• almide
• parser
• yaml

面向Almide的SHA-1哈希库

• Rust

面向Almide的SQLite3数据库访问库

• Rust

Almide的纯Almide实现Base64编解码库

• almide
• base64
• encoding

Almide 的 CSV 解析与序列化库,支持 RFC 4180

• almide
• csv
• parser

Almide 的 TOML v1.0 解析与序列化库,集成 Codec

• almide
• parser
• toml

面向Almide的任意精度无符号整数运算库

面向Almide的RSA PKCS1v15加密与DER密钥解析库

只用你授予的权限来运行智能体

• Python
• Almide
• ai-agent

基于Claude Agent SDK的团队开发管理工具

• HTML
• CSS
• agent-sdk

面向编码智能体的Almide语法树引擎

• Python
• C

面向编码智能体的语法树命令行工具gramide

• Almide
• Shell

gramide-cli的Python 3.14支持,含词法、文法与编辑恢复

• Python
• C

gramide 的 Almide 包：词法、文法与符号规则

• Python
• Shell

为gramide提供Go词法、文法与符号规则的Almide包

• Python
• C

为gramide-cli提供Rust词法与文法的Almide包

• Python
• Shell

读、改、跑测试：同一模型下比 Aider 解出更多题的编码智能体

• Shell
• Python

终端里的编码智能体，与 Claude Code、Codex、Aider 一脉相承

• Python
• Shell

按模型该读的方式读代码：面向编程智能体的 cat/grep/sed

• Python
• Shell

用同一把尺子，为35种语言的代码打分

• Almide
• Lean
• cli

gramide的JavaScript语言包，含扫描器与语法表

• Python
• C

gramide的TypeScript语言包，对照官方解析器验证

• Python
• JavaScript

检验产品名候选的Claude Code技能

• almide
• claude-code
• claude-skill

为gramide验证JSON语法并读取结构

• Python
• Shell

遵循.gitignore显示目录结构与文件内容的CLI

• Python
• Shell

为gramide读取C语法子集

• Python
• C

为gramide读取C#语法子集

• Python
• C#

为gramide读取CSS结构语法子集

• Python
• CSS

为gramide读取Java语法子集

• Python
• Java

为gramide读取Lua 5.4核心语法结构

• Python
• Lua

为gramide读取SQLite风格SQL语法子集

• Python
• SQL

为gramide读取TOML 1.0核心语法结构

• Python
• Shell

用符号链接叠加切换Claude Code配置的工具

Claude Code的上下文防火墙,存档工具输出并压缩展示

• Rust
• Python

保留限定条件的编码智能体基准数据及测评工具

• Almide
• Shell

用四个通用工具封装任意API的MCP框架

• JavaScript

基于gramide解析度量Almide复杂度

• Shell

面向TypeScript/JavaScript的AST代码质量分析器

• HTML
• ast
• baseline

用于代码质量评分与自动修复的Claude Code插件

• claude-code
• claude-code-plugin
• claude-code-skill
• code-quality

Rust与Playwright递归爬虫,经MCP提供数据

• JavaScript

用Claude Code根据描述自动构建项目的CLI

经Almide编译为WASM的Bonsai 1比特LLM浏览器聊天演示

• JavaScript
• HTML

Almide的多提供商LLM客户端,统一接口

• ai
• almide
• anthropic

用Almide编写的模块化AI代理CLI运行时

从终端统一访问多种LLM的命令行工具

用Almide编写的macOS桌面操控智能体

用Almide实现的Minecraft协议库

Almide Minecraft 机器人的命令行工具

用Almide编写的Minecraft机器人框架

面向Almide的Minecraft认证模块

面向Almide的Minecraft聊天模块

面向Almide的Minecraft区块模块

面向Almide的Minecraft实体模块

面向Almide的Minecraft物品模块

面向Almide的Minecraft NBT模块

mineflayer-pathfinder的Almide实现,面向Minecraft机器人的A*寻路

面向Almide的Minecraft注册表模块

面向Almide的Minecraft世界模块

Almide的Minecraft neoforge模块

面向Minecraft机器人的AI集成层,基于almai

Minecraft机器人的方块收集自动化库

面向Minecraft机器人的物品栏窗口管理

面向Almide的Minecraft物理模拟库

用Almide实现prismarine-proxy的Minecraft代理基础

用Almide实现的Minecraft机器人PvP战斗工具

用Almide实现的Minecraft服务器协议基础

用Almide实现flying-squid的轻量Minecraft服务器

面向Almide的Minecraft方块模块

面向Almide的Minecraft数据定义

面向Almide的Minecraft合成配方库,对标prismarine-recipe

基于Docker、按Pak管理Minecraft服务器的CLI

• JavaScript

让同一Almide程序跨Web与原生平台运行的UI框架

• Rust
• JavaScript

用于检查、编辑和定制3D头像的工具包

• Almide
• Python

面向Almide的Whisper与Qwen推理库

• Python
• Rust
• almide

面向Almide的图形运行时，通过WASM支持2D、WebGL与3D

• Rust
• Almide
• 3d

Almide的纯图形数学基础库

• almide
• graphics
• math

基于WebGPU的Almide二维与三维绘制基础

• JavaScript
• Rust

面向Almide的GPU原生UI框架

• JavaScript
• HTML

用Almide编写的Hyprland桌面外壳

• Shell
• Python

受anime.js启发的Almide动画引擎

• HTML

Almide的VRM/glTF角色层，含解析与表情

• JavaScript

Almide原生的可微编程库,含反向自动微分

• Python

用单一Almide源码构建六平台ceangal计数器

ceangal的原生wgpu后端概念验证

面向各平台的预构建静态PHP二进制文件

由qusp.toml驱动的多语言工具链管理器

• Shell
• Python
• asdf

Rust编写的Go版本与工具链管理器

• Shell
• cli
• developer-tools

*v工具链管理器（gv、rv）的共享Rust基础库

• developer-tools
• library
• rust

@O6lvl4 的 Homebrew formula 仓库

• Ruby
• developer-tools
• golang

基于Obsidian和Git LFS的知识库及图谱查看器

• TypeScript
• CSS

基于SM-2间隔重复的Markdown笔记记忆CLI

AI驱动的macOS原生间隔重复闪卡应用

• Go
• CSS
• anthropic

将Markdown库转为静态知识库的Astro集成

• TypeScript

用Almide编写的级联biquad参量均衡器,校正CYBER耳机

• Almide

半导体与世界局势的泳道时间线

• JavaScript
• CSS

把智能体基准公开榜单按模型汇成一张表

• HTML
• Python

以北斋64幅风景版画制作的日本艺术家作品集示例

• CSS
• HTML
• github-pages

用Almide讲述WebAssembly现状的演讲幻灯片

一屏展示所在地环境健康风险与气象警报的静态看板

• HTML
• CSS

完全本地运行的饮水教练,提示还能喝多少或需等待多久

• HTML
• CSS

口哨音高检测工具,显示和弦并含节奏游戏

• Rust

按行程约束搜索最便宜机票加酒店组合的CLI

用YAML声明式管理Google表单的IaC工具

在CVE发布前从社交信号检测供应链攻击的预警系统

• SQL
• JavaScript

用命令行将Mermaid图渲染为精美SVG和PNG

扫描被gitignore忽略的文件并支持迁移的CLI

转换与合并CSV、TSV等DSV文件的CLI和Python模块

• cli
• csv
• delimiter

将多个PDF和目录合并为单个文件的命令行工具

• cli
• functional-programming
• pdf

纯Objective-C编写的macOS轻量剪贴板历史菜单栏应用

• clipboard
• cocoa
• macos

检查O6lvl4-protocol 14项协议合规的almide命令行工具

将URL解析为设计师视角模块结构的UI分析器

• HTML
• JavaScript

Tocsin供应链攻击预警的Almide实现

用 Go 1.27 编写、推送 connpass 活动的 Discord Bot

• Go
• CSS

将HTML与CSS分页媒体转为PDF的Rust引擎

• HTML
• Shell

检测当前Mac、推荐同等或更好机型并估算折价后升级费用的CLI

• Shell
• Python
• apple-silicon

MoonBit编写的邮件域名DNS记录检查工具

• cli
• dns
• moonbit

基于rclone的git风格精简命令行工具

用YAML或JSON生成带标签的图片网格目录

整理收据等记账文件的Go命令行工具

• HTML

最大化脑力工作的睡眠饮食运动运用协议集

按邮箱在指定Chrome配置文件中打开网址的工具

按层排查网络故障的macOS诊断工具

转写YouTube链接的CLI，字幕优先，Whisper兜底

• cli
• python
• subtitles

按Git标签同步环境配置文件到云存储的CLI工具

• Shell

轻松切换多个Azure账户的CLI配置管理工具

将目录结构与文件内容生成PDF的命令行工具

将Zod模式转换为Markdown文档的工具函数

• TypeScript

将Lean 4规约转换为TypeScript类型与属性测试

• Lean
• code-generation
• fast-check

基于Zig原生类型的零开销函数式工具库

• functional-programming
• maybe
• option

跨Ruby并发边界保持OpenTelemetry链路连续的库

• concurrency
• distributed-tracing
• observability

建之前先读架构：把预期负载灌进 Terraform，估算成本、余量、延迟与可用性

• TypeScript
• CSS

用 Lean 4 编写的 Hello World CLI 应用

Lean 4学习沙盒，含从定理证明到编程的教程

• functional-programming
• japanese
• lean

用 Lean 4 编写的 FizzBuzz 命令行程序

基于IR的Lean 4到Rust代码生成后端

• Lean

提供Lean 4代码生成最佳实践的Claude Code插件

用 Lean 4 编写的 FizzBuzz 库

面向长时间CLI操作的轻量终端

• Rust
• Python

RubyKaigi 2027宫崎非官方指南

• CSS
• Ruby

由内核隔离编程智能体工具的运行环境

• Almide
• Shell

以一手资料追踪企业网络事件与库漏洞的时间线

• TypeScript
• CSS

基于AWS SAM的Go语言Lambda函数示例模板

纯Almide自研的OpenTelemetry追踪SDK及Jaeger双服务演示

以角色边界、卡片和证据为准的模块设计方法

• Go
• Python

对比Go 1.27新特性与almide 0.41的勉强会笔记

• Go
• Shell

并列对比Go 1.26与1.27写法的可运行示例

• Shell

在AudioWorklet中运行Almide WASM的加法合成最小演示

• HTML
• Almide

面向CC:Tweaked的Fennel项目模板

名为stock_counter_app的Flutter初始项目

• C++
• C

演示将Next.js应用部署到GitHub Pages的步骤

• TypeScript
• JavaScript

基于AWS SAM的Go语言Lambda函数示例模板

使用Terraform在GCP上构建环境的手册

使用Cobra库构建的Go命令行应用

基于CDKTF的Next.js LINE登录Firebase参考架构

• Shell
• CSS

用create-next-app创建的Next.js项目

• JavaScript
• CSS

用React和Tailwind CSS演示响应式设计的示例

• JavaScript
• Shell

演示用TypeScript和ts-node开发Node.js应用的项目

• Shell

基于Create React App的React应用，README未说明具体功能

• CSS

用于末影海龟的自动填埋整地系统

无README；名称显示为Go竞赛编程解题沙盒

无README,Go语言的lo库沙盒仓库

用Go试验vecty库的沙盒仓库

• Go

名为mastra-sandbox的仓库，无README，用途未说明

• JavaScript

Rust编写的CLI实验沙盒仓库

无README，使用Go的Ebitengine沙盒

无 README 的 TypeScript 仓库,用途未说明

React Native的TypeScript样板项目

• JavaScript
• C

Discord 机器人的沙盒仓库

用于试验langchaingo的沙盒仓库

Tyrano 相关的试验沙盒，无 README

• JavaScript
• CSS