typhon

anoma

Formalization of Typhon protocol

consensus distributed-systems p2p

View on GitHub Website

30 Stars

5 Forks

30 Watchers

TLA Language

gpl-3.0 License

100 SrcLog Score

Cost to Build

$17.09M

Market Value

$25.84M

How is this calculated?

Growth over time

8 data points · 2022-07-01 → 2026-04-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about typhon

Question copied to clipboard

What is the anoma/typhon GitHub project? Description: "Formalization of Typhon protocol". Written in TLA. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone typhon

Clone via HTTPS

git clone https://github.com/anoma/typhon.git

Clone via SSH

[email protected]:anoma/typhon.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the typhon issue tracker:

Open GitHub Issues

Similar to typhon

dubbo etcd incubator-mxnet xgboost nsq awesome-scalability Qix akka-core finagle seaweedfs micro nats-server orleans go-micro rqlite bit translations pachyderm jocko oklog service-fabric tendermint lagom dubbo-spring-boot-project awesome-distributed-systems habitat moleculer dkron sandglass gleam