AthenaFoundation/athena external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

AthenaFoundation/athena

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/AthenaFoundation/athena)

Close

AthenaFoundation / athenaView on GitHubMore

• External links
• Readme badge

Athena is a modern, practical language for proof engineering & natural deduction.

☆78Aug 2, 2025Updated 7 months ago

Alternatives and similar repositories for athena

Users that are interested in athena are comparing it to the libraries listed below

• b-chiang / schnorr-nizk

  View on GitHub
  ☆14May 19, 2022Updated 3 years ago
• zkSoju / zen

  View on GitHub
  Zen is a token trading protocol for transferring NFTs P2P.
  ☆15Sep 7, 2022Updated 3 years ago
• virtualjpeg / blocky

  View on GitHub
  ☆36Feb 8, 2022Updated 4 years ago
• WilfredTA / symbolic-stack-machines

  View on GitHub
  Library for building symbolically executable stack-based virtual machines
  ☆76Oct 20, 2022Updated 3 years ago
• joelburget / evm-rust

  View on GitHub
  Minimal EVM implementation in Rust
  ☆29Mar 28, 2018Updated 7 years ago
• argotorg / yul-isabelle

  View on GitHub
  ☆41Nov 21, 2022Updated 3 years ago
• paradigmxyz / local_reth

  View on GitHub
  Run Reth+Prometheus+Grafana locally via docker-compose
  ☆70Jun 27, 2023Updated 2 years ago
• Philogy / gobbler-thrones

  View on GitHub
  ☆18Jan 8, 2023Updated 3 years ago
• hrkrshnn / solmate-math-fuzz

  View on GitHub
  ☆35Jul 8, 2022Updated 3 years ago
• rainbreak / crop

  View on GitHub
  ☆13Feb 2, 2021Updated 5 years ago
• hrkrshnn / ethccgame

  View on GitHub
  ☆13Sep 17, 2022Updated 3 years ago
• refcell / orbits

  View on GitHub
  A collection of practical circom circuits
  ☆14May 19, 2022Updated 3 years ago
• refcell / archived-parcels

  View on GitHub
  Modern, Opinionated Multicall Library
  ☆23Feb 27, 2022Updated 4 years ago
• EVM-SMT / solver

  View on GitHub
  proof first, evm specific smt solver
  ☆69Apr 11, 2022Updated 3 years ago
• recmo / yul

  View on GitHub
  ☆102Apr 24, 2023Updated 2 years ago
• nascentxyz / yobot-contracts

  View on GitHub
  Experimental Contracts for Yobot
  ☆36Feb 12, 2022Updated 4 years ago
• gakonst / save-noun11

  View on GitHub
  ☆15May 6, 2022Updated 3 years ago
• ibraheemdev / ripc

  View on GitHub
  A C compiler, written in Rust.
  ☆10Feb 13, 2022Updated 4 years ago
• brockelmore / graphstack

  View on GitHub
  ☆55Oct 4, 2022Updated 3 years ago
• paradigmxyz / paradigm-ctf-2022-teaser

  View on GitHub
  https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code
  ☆40Jan 18, 2022Updated 4 years ago
• rkrasiuk / op-reth

  View on GitHub
  ☆23Mar 4, 2023Updated 3 years ago
• The-Arbiter / Hash-Storage-Example

  View on GitHub
  A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.
  ☆13Jul 30, 2022Updated 3 years ago
• kmbarry1 / flash-thaw

  View on GitHub
  ☆15Mar 7, 2022Updated 3 years ago
• spearbit / echidna-spearbit-demo

  View on GitHub
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆31Jul 9, 2022Updated 3 years ago
• crytic / amarna

  View on GitHub
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆148Feb 14, 2025Updated last year
• kmbarry1 / fund-eq-of-dai-certora

  View on GitHub
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Jun 4, 2024Updated last year
• ZeframLou / clones-with-immutable-args

  View on GitHub
  ☆25Oct 30, 2023Updated 2 years ago
• ControlCplusControlV / Foundry-Yulp

  View on GitHub
  ☆74Jun 10, 2022Updated 3 years ago
• valorem-labs-inc / quay

  View on GitHub
  An open source, high performance limit order book for the Seaport smart contracts. Implemented in Rust using ethers-rs, this offers a tur…
  ☆191Jun 22, 2023Updated 2 years ago
• Certora / FoundryIntegration

  View on GitHub
  Certora integration with the Forge testing framework of Foundry
  ☆21Jun 8, 2023Updated 2 years ago
• devtooligan / skidsdao-ctf-22-jul-22

  View on GitHub
  https://twitter.com/jtriley_eth/status/1550459124047138819?s=20&t=cTBP-TSnIstNEwwPuRDF5Q
  ☆17Jul 27, 2022Updated 3 years ago
• refcell / crib

  View on GitHub
  Extensible, Minimal Template for Sway Projects
  ☆17Jan 3, 2022Updated 4 years ago
• Chainstride-Capital / aegis

  View on GitHub
  Shield your initial Uniswap liquidity from malicious actors
  ☆16Nov 10, 2021Updated 4 years ago
• sense-finance / auto-roller

  View on GitHub
  Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools
  ☆28Jul 27, 2023Updated 2 years ago
• refcell / protec

  View on GitHub
  An Isolated Safe Environment to Execute Foundry Projects.
  ☆44Jul 22, 2022Updated 3 years ago
• primitivefinance / soulbound

  View on GitHub
  Implementation of a non-transferrable NFT using non-financial incentivization.
  ☆84Feb 8, 2022Updated 4 years ago
• xJonathanLEI / oriac

  View on GitHub
  A toy Cairo VM implementation in Rust™
  ☆73Jun 7, 2022Updated 3 years ago
• dekz / foundry-playground

  View on GitHub
  Foundry playground
  ☆28Jan 31, 2022Updated 4 years ago
• nulltea / spy-pets

  View on GitHub
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆29Jan 8, 2023Updated 3 years ago