- 我的帖子已经打上 开源推广 标签： 是
- 我的开源项目完整开源，无未开源部分： 是
- 我的开源项目已链接认可 LINUX DO 社区： 是
- 我帖子内的项目介绍，AI生成、润色内容部分已截图发出： 是
- 以上选择我承诺是永久有效的，接受社区和佬友监督： 是
以下为项目介绍正文内容，AI生成、润色内容已使用截图方式发出
话不多说，先上仓库
github.com
GitHub - CloudWide851/veris: Veris is a verification-first, agent-oriented...
Veris is a verification-first, agent-oriented language prototype.
这是一个什么语言呢？其实我也不太清楚，单纯是闲来无事写的东西，原本是我想着可以创造一个专门给LLM设计的语言，用来更好的执行Agent，后面在借鉴了各个语言之后就变成乱炖了 
（人话：把各个语言特性抄了个遍）
目前的情况是可以勉强自举了，有很多开发扩展都是在二代的编译器上面了，现在测试也是使用的二代编译器，bug很多，但是也是不得不品的一环，真佩服当时手搓编译器的狠人了。有部分的问题在当前仓库还存在，我测试过后是不能正常使用的，然后在后面的版本我已经修复了，只不过还在本地未发布，因为还没完整的测试。
为了有想要学习的佬友（你的Agent真的想学吗），我专门写了一个语法书，请各位佬友自行查看，后面我有时间的话会用这个新的语言重写我之前的easy-agent项目（已经新建文件夹），详情可以看这一条[开源项目] 0.3.4版本发布，但是没人告诉我测BFCLv4这么花钱啊...
如果有经验丰富的佬友，可以来私信一起探讨开发方向，目前就是我一个人，自娱自乐的属性比较多，如果有想要开发的标准库也可以来私信或者在本帖或者相关贴来说明。
求求别再说我设计的logo像某位落榜美术生了（当时设计的时候真没这个想法） 
最初设计长这个样子，后面被吐槽多了就改成红色了
6 个帖子 - 4 位参与者
来源: linux.do查看原文