好开源，值得被发现。

Valibot 是一个用于在 JavaScript 中验证结构化数据的模块化、类型安全模式库。它提供静态类型推断、小于 700 字节的极简打包体积、无依赖，以及从字符串到复杂对象的函数式验证 API。

Pydantic 是一个用于 Python 的数据验证库，它利用类型提示（type hints）来强制执行数据结构。

ANTLR v4 是一个解析器生成器，它读取语法并生成解析器、解析树以及监听器/访问者接口，用于结构化文本或二进制文件。它支持十种目标语言，包括 Java、C#、Python3、JavaScript、TypeScript、Go、C++、Swift、Dart 和 PHP。