程序员版2022-01-29 收录

蝉语

Name: 蝉语
Author: 谢宇恒

形式化数学定理的程序语言。

开发者谢宇恒 · 深圳状态已上线

同分类推荐

程序员版2026-08-30

轻量级端到端加密即时通讯，React 19/TypeScript Web 客户端 + Rust/Axum 服务端，服务端和客户端均通过 Tor 完全隐藏 IP 地址

大众产品2026-08-21

帮你算清一张 Audible 积分到底值多少钱（$14.95），并按"每小时听书成本"给 300+ 有声书排名，告诉你换哪本最划算、哪本直接买更值；工具型（SaaS + 内容）

大众产品2026-08-15

通过剧情、场景、台词、截图、片段帧、演员或导演线索识别电影，并给出匹配结果

大众产品2026-08-13

手柄检测与故障排查工具，连接 USB 或蓝牙控制器即可测试按键、摇杆漂移、扳机、死区、轮询率、输入响应和震动

大众产品2026-08-13

鼠标滚轮测试工具，可检测上下滚动、滚动方向、响应情况和滚轮输入表现

程序员版2026-08-01

Telegram 与 QQ 群组双向消息同步机器人