Baike.dev
All toolsTrendingOpen sourceNewsSubmit
Log in
< 返回工具列表
Q

QRC-CONSENSUS

> 编程语言
开源

QORUS, Quantova's committee BFT. ML-DSA finality over a budget bounded sortition committee, with a checked TLA+ model.

96 stars0 点赞0 次浏览
访问官网GitHub

工具介绍

QORUS, Quantova's committee BFT. ML-DSA finality over a budget bounded sortition committee, with a checked TLA+ model.

> 标签

Rust

暂无评论，来聊聊你的看法吧

> 工具信息

发布日期2026年8月1日
最后更新2026年8月1日
分类编程语言
定价开源

> 相关工具

T
TypeScript
JavaScript 的超集，为前端与全栈提供静态类型
P
Python
通用编程语言，广泛用于 Web、数据与 AI
G
Go
Google 推出的简洁高效系统语言
Baike.dev

baike.dev helps you discover great languages, frameworks, databases, DevOps and cloud-native tools.

Quick links

  • Home
  • All tools
  • Trending
  • Open source

About

  • About us
  • Community
  • News

Contribute

Found a great developer tool? Share it with the community.

Submit a tool
© 2026 baike.dev Developer EncyclopediaUpdated daily · Discover great developer tools