Archive

Repos

Jobs Repos Funding Ecosystems Orgs

← Repositories

Bacon-labs

tama

Tama is a developer tool for building formally verified Ethereum smart contracts in Verity

21

Stars

4

Forks

7

Issues

License unknown

License

active

Last GitHub commit: Jul 1, 2026

View on GitHub →

Contribution

7 open issues →active project

← Browse all repos Something inaccurate? Report a correction →

osspath

Curated weekly. Quiet by design.

News Community Events Job Boards About Methodology Contact Privacy