Skip to content
Change the repository type filter

All

    Repositories list

    • Zellic's audits, publications, and reports
      3022102Updated Apr 23, 2026Apr 23, 2026
    • starbot

      Public
      Starbot
      Go
      0100Updated Apr 11, 2026Apr 11, 2026
    • remindme

      Public
      Discord reminder bot
      Python
      GNU Affero General Public License v3.0
      1000Updated Apr 9, 2026Apr 9, 2026
    • Cross-platform Rust rewrite of the GNU coreutils
      Rust
      MIT License
      1.8k000Updated Mar 17, 2026Mar 17, 2026
    • Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler.
      Python
      GNU Affero General Public License v3.0
      36941Updated Dec 9, 2025Dec 9, 2025
    • TypeScript
      Other
      0000Updated Oct 21, 2025Oct 21, 2025
    • telescope

      Public
      Telegram enterprise account sovereignty
      Python
      Other
      0302Updated Oct 15, 2025Oct 15, 2025
    • Go
      0000Updated Jun 17, 2025Jun 17, 2025
    • confirmation

      Public archive
      Use this repository to confirm our payment details
      0000Updated May 23, 2025May 23, 2025
    • A modular tool to track anything on the EVM chain, including real-time tracking and alerts.
      Go
      GNU General Public License v3.0
      2318601Updated May 15, 2025May 15, 2025
    • zkerc20

      Public
      Private ERC-20 wrapping and bridging (NOT AUDITED)
      JavaScript
      GNU General Public License v3.0
      2261Updated May 2, 2025May 2, 2025
    • TON-study

      Public
      TypeScript
      MIT License
      0400Updated Apr 15, 2025Apr 15, 2025
    • movetool

      Public
      Rust
      GNU Affero General Public License v3.0
      51001Updated Apr 14, 2025Apr 14, 2025
    • BitVM

      Public
      A Trust-minimized Bitcoin Bridge
      Rust
      MIT License
      181000Updated Feb 26, 2025Feb 26, 2025
    • Masamune

      Public
      A smart contract security search utility
      JavaScript
      GNU General Public License v3.0
      137620Updated Dec 26, 2024Dec 26, 2024
    • 0000Updated May 29, 2024May 29, 2024
    • attack implementation against FHE
      Sage
      GNU General Public License v3.0
      1300Updated May 17, 2024May 17, 2024
    • .github

      Public
      0000Updated Oct 20, 2023Oct 20, 2023
    • Intentionally vulnerable Coin swap protocol. DO NOT USE. FOR LEARNING PURPOSES ONLY.
      Move
      1900Updated May 2, 2023May 2, 2023
    • poc-hacks

      Public
      Solidity
      34100Updated Mar 29, 2023Mar 29, 2023
    • Typescript, Zod REST APIs, Zod forms, various utilities and boilerplate, EveryLayout based SCSS
      TypeScript
      Other
      2300Updated Jan 2, 2023Jan 2, 2023
    • Formal verification of the popular BokkyPooBah's DateTimeLibrary
      SMT
      Other
      3500Updated Nov 25, 2022Nov 25, 2022
    • A self-contained example Ethereum challenge using Paradigm's CTF framework
      Python
      43200Updated Nov 25, 2022Nov 25, 2022
    • weth

      Public
      Formal verification of WETH9.sol with Z3
      Python
      Other
      55900Updated Nov 19, 2022Nov 19, 2022
    • A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and traverse/manipulate it.
      TypeScript
      Apache License 2.0
      26000Updated Oct 19, 2022Oct 19, 2022
    • A gentle, example-based guide to getting started with the Move prover.
      Move
      95100Updated Sep 24, 2022Sep 24, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.