Repositories list

• blockscout-go-api

  Public
  Golang client for Blockscout API

  goethereumblockscout+ 1

  goethereumblockscoutblockscout-api

  Go

  •

  MIT License

  •22 forks•22 stars•00 issues•00 pull requests•Updated Jul 20, 2026Jul 20, 2026

• ton-audit-guide

  Public
  Checklist for security audit of TON projects by @PositiveSecurity

  checklistsecurity-auditfunc+ 1

  checklistsecurity-auditfuncton

  55 forks•4949 stars•00 issues•00 pull requests•Updated May 27, 2026May 27, 2026

• hlf-baseToken-model

  Public
  TLA+ model of the HyperLedger Fabric BaseToken

  blockchaintokenhyperledger-fabric+ 2

  blockchaintokenhyperledger-fabricformal-verificationtlaplus

  TLA

  •

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated May 17, 2026May 17, 2026

• hydration-node

  Public
  Hydration node - Cross-chain liquidity protocol built with Polkadot-SDK

  Rust

  •

  Apache License 2.0

  •109109 forks•00 stars•00 issues•00 pull requests•Updated Apr 16, 2026Apr 16, 2026

• bifrost

  Public
  One Stake, Endless Opportunities. Build with Polkadot SDK (Substrate).

  Rust

  •

  GNU General Public License v3.0

  •9494 forks•00 stars•00 issues•00 pull requests•Updated Apr 16, 2026Apr 16, 2026

• ton

  Public
  Main TON monorepo

  C++

  •

  Other

  •1.6k1.6k forks•00 stars•00 issues•00 pull requests•Updated Apr 14, 2026Apr 14, 2026

• Acala

  Public
  Acala - cross-chain DeFi hub and stablecoin based on Substrate for Polkadot and Kusama.

  Rust

  •

  GNU General Public License v3.0

  •760760 forks•00 stars•00 issues•00 pull requests•Updated Apr 14, 2026Apr 14, 2026

• ocore

  Public
  Core library for Obyte https://obyte.org

  JavaScript

  •

  MIT License

  •119119 forks•00 stars•00 issues•00 pull requests•Updated Apr 12, 2026Apr 12, 2026

• monero-oxide

  Public
  Rust

  •6666 forks•00 stars•00 issues•00 pull requests•Updated Apr 6, 2026Apr 6, 2026

• aquarius-cantina-fv

  Public
  Aquarius (Stellar) Certora FV Competition (Jun 2025, 🏆#1 place)

  blockchainstellarformal-verification+ 2

  blockchainstellarformal-verificationammcertora-prover

  Rust

  •

  Apache License 2.0

  •11 fork•00 stars•11 issue•00 pull requests•Updated Apr 1, 2026Apr 1, 2026

• open-runtime-module-library

  Public
  Substrate Open Runtime Module Library

  Rust

  •

  Apache License 2.0

  •298298 forks•00 stars•00 issues•00 pull requests•Updated Mar 17, 2026Mar 17, 2026

• twitter-scraper

  Public
  Scrape the Twitter frontend API without authentication with Golang.

  Go

  •

  MIT License

  •225225 forks•00 stars•00 issues•00 pull requests•Updated Dec 12, 2025Dec 12, 2025

• .github

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Dec 2, 2025Dec 2, 2025

• PositiveCTF-EVM

  Public
  A set of tasks for cracking implementations of smart-contracts with typical vulnerabilities.

  Solidity

  •1717 forks•2727 stars•00 issues•00 pull requests•Updated Dec 2, 2025Dec 2, 2025

• BlendV2-FV

  Public
  Blend v2 (Stellar) Certora FV Competition (Feb 2025, #4 place)

  blockchainstellarformal-verification+ 2

  blockchainstellarformal-verificationlendingcertora-prover

  Rust

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 26, 2025Aug 26, 2025

• PositiveCTF-TON

  Public
  A set of tasks for cracking implementations of smart-contracts with typical vulnerabilities.

  Tact

  •11 fork•00 stars•00 issues•00 pull requests•Updated Aug 14, 2025Aug 14, 2025

• ton-graph

  Public
  VSCode extension for visualizing function call graphs in TON smart contracts. Built with Mermaid.js by @PositiveSecurity

  TypeScript

  •

  MIT License

  •11 fork•44 stars•00 issues•00 pull requests•Updated Jun 9, 2025Jun 9, 2025

• ConCert

  Public
  A verified implementation of the DEX/AMM protocol in ConCert

  Coq

  •

  MIT License

  •2424 forks•33 stars•00 issues•00 pull requests•Updated Sep 25, 2024Sep 25, 2024

• zk-audit-guide

  Public
  Checklist for security audit of ZKP projects by @positivesecurity

  security-auditzero-knowledgezk-snarks+ 2

  security-auditzero-knowledgezk-snarkszksnarkszkp

  00 forks•3434 stars•00 issues•00 pull requests•Updated Sep 12, 2024Sep 12, 2024

• tron-audit-guide

  Public
  Checklist for security audit of tron projects by @positivesecurity

  checklistsecurity-audittron

  checklistsecurity-audittron

  44 forks•2626 stars•00 issues•00 pull requests•Updated Sep 11, 2024Sep 11, 2024

• discussions

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jul 29, 2024Jul 29, 2024

• LICENSE

  Public
  Open Source License from Positive Security

  Other

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 21, 2023Sep 21, 2023