Bacon Labs

Popular repositories Loading

1. tama tama Public

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

   Rust 24 4

2. tamaswap tamaswap Public

   Tamaswap is the first provably unhackable DEX.

   Lean 14 2

3. tamago tamago Public

   Common EVM smart contracts similar to solady/solmate, formally verified using Tama + Verity

   Lean 7 3

4. foglight-landing-page foglight-landing-page Public

   Foglight landing page

   TypeScript 2

5. website website Public

   Home of Bacon Labs

   JavaScript 1

6. bunni-frontend bunni-frontend Public

   TypeScript