Tama is a developer tool for building formally verified Ethereum smart contracts in Verity
☆25Sep 15, 2026Updated last month
Alternatives and similar repositories for tama
Users that are interested in tama are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Refinement proofs in Lean for EVM bytecode☆25Oct 14, 2026Updated last week
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 3 years ago
- ☆14Aug 2, 2021Updated 5 years ago
- a noir library for multiparty computation primitives☆18Feb 5, 2026Updated 8 months ago
- engagic is for the people☆17Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An interactive tutorial to get you up and running with Noir☆28Jul 17, 2026Updated 3 months ago
- ☆18Feb 6, 2025Updated last year
- A Solidity compiler written in Zig☆58Updated this week
- Swiss tournament manager in solidity☆24Sep 11, 2022Updated 4 years ago
- ☆12Sep 25, 2022Updated 4 years ago
- Ethereum protocol engineering squad for AI coding assistants☆131Sep 30, 2026Updated 3 weeks ago
- A monorepo of apps and packages for the Council governance protocol.☆28Mar 25, 2026Updated 6 months ago
- A benchmarking platform for Solidity fuzzers☆12Jun 24, 2024Updated 2 years ago
- WordPress plugins by Pasi Lallinaho☆15Aug 23, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Jun 11, 2022Updated 4 years ago
- My user environment managed by nix with home-manager☆11Oct 29, 2020Updated 5 years ago
- ☆15Jan 8, 2023Updated 3 years ago
- Compilation of Ethereum typos, user errors, and buggy contracts; Goal of categorizing all of the ETH supply forever out of market circula…☆28Jul 20, 2025Updated last year
- Experiments coding privacy-preserving smart contracts in Aztec.☆71Jul 19, 2026Updated 3 months ago
- Smart account with programmable ownership☆43Oct 19, 2025Updated last year
- ☆54Oct 25, 2022Updated 3 years ago
- Scale your Business Development efforts with your own BD team in less than 30 seconds☆19Mar 12, 2026Updated 7 months ago
- The Onchain AI Oracle Intents Engine (IE): A Basic Text-to-tx Simulator Contract based on OAO.☆16Feb 17, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆12Apr 8, 2025Updated last year
- ☆11May 4, 2024Updated 2 years ago
- ☆26Oct 12, 2026Updated last week
- Nix overlay for Cairo☆11May 8, 2024Updated 2 years ago
- ☆11Jul 7, 2020Updated 6 years ago
- Chicago Ethereum Meetup QF / CLR Pilot☆12Sep 28, 2023Updated 3 years ago
- Tools for Crypto.org Chain wallet management and offline transaction signing☆10Mar 6, 2023Updated 3 years ago
- A simple and generic NixOS configuration framework written in pure Nix☆11Jul 4, 2020Updated 6 years ago
- Systems programming language designed for safe and predictable code, with semantics defined by a small core calculus formalized and prove…☆16Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆10Jul 23, 2026Updated 2 months ago
- ☆12Nov 26, 2018Updated 7 years ago
- Standard way to simulate governance actions from a timelock, multisig, or DAO.☆85Sep 10, 2026Updated last month
- ☆16Oct 29, 2022Updated 3 years ago
- ☆10Aug 30, 2023Updated 3 years ago
- Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidna☆16Jun 16, 2024Updated 2 years ago
- Strategies for BentoBox☆11Mar 9, 2023Updated 3 years ago