Alternatives and similar repositories for solver

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

• transmissions11 / headers
  Generate perfect code headers every time.
  ☆369Updated last year
• 0xMacro / awesome-solana-security
  A collection of resources to help you build better and more secure Solana programs. Kept up to date.
  ☆517Updated 2 months ago
• Cyfrin / audit-report-templating
  ☆374Updated last year
• CarlosAlegreUr / Audits-By-CarlosAlegreUr
  Here is a summary and navigation hub to all the audits I've conducted and I'm allowed to show.
  ☆12Updated last week
• Cyfrin / qualified-signer-cu
  ☆27Updated 6 months ago
• Ackee-Blockchain / Solana-Auditors-Bootcamp
  Learn to audit Solana programs and help secure the ecosystem. Take your security practices to the next level and get certified by Ackee B…
  ☆158Updated 2 months ago
• Cyfrin / audit-checklist
  Aggregated audit checklist
  ☆344Updated 9 months ago
• 0xsimao / audits
  Audit portfolio of 0xSimao
  ☆50Updated last month
• Cyfrin / cyfrin-audit-reports
  A list of public audit reports conducted by the Cyfrin team
  ☆316Updated this week
• andreitoma8 / learn-yul
  Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
  ☆250Updated 10 months ago
• Cyfrin / aderyn
  Solidity Static Analyzer that easily integrates into your editor
  ☆713Updated this week
• Cyfrin / foundry-defi-stablecoin-cu
  ☆329Updated this week
• tpiliposian / not-awesome-web3-security-roadmap
  Not so awesome Web3 Security Reasearcher roadmap by tpiliposian
  ☆292Updated 10 months ago
• Cyfrin / assembly-evm-opcodes-and-formal-verification-course
  ☆134Updated 8 months ago
• tpiliposian / awesome-web3sec-blogs-and-podcasts
  List of awesome blogs and podcasts about web3 security and more
  ☆88Updated last year
• Rektoff / Security-Roadmap-for-Solana-applications
  We are systematizing everything we know about Solana security into one structured resource: the Solana Security Strategy. It’s a field-te…
  ☆214Updated 6 months ago
• RareSkills / Solidity-Exercises
  Exercises to learn solidity. This accompanies the RareSkills Learn Solidity resource.
  ☆328Updated last year
• code-423n4 / 2025-03-nudgexyz
  ☆15Updated 7 months ago
• TradMod / awesome-audits-checklists
  A curated list of smart contracts security audits checklists and resources.
  ☆303Updated last week
• Quillhash / Solidity-Attack-Vectors
  This Repository contains list of Common Solidity SmartContract Attack Vectors. If you find any attack vectors missing, you can create a p…
  ☆489Updated 2 years ago
• muellerberndt / awesome-zk-proofs
  Resources for learning zero knowledge proof systems
  ☆49Updated last month
• Cyfrin / foundry-devops
  ☆634Updated 7 months ago
• shafu0x / awesome-smart-contracts
  The best smart contracts in one place.
  ☆513Updated last month
• code-423n4 / 2025-01-liquid-ron
  ☆10Updated 7 months ago
• Protocol-Explorer / Level-Up
  ☆16Updated last year
• Cyfrin / sc-exploits-minimized
  A repo to showcase web3 hacks
  ☆600Updated 3 weeks ago
• chinmay-farkya / solidity-notes
  ☆596Updated 2 years ago
• Cyfrin / advanced-defi-2024
  ☆171Updated 3 weeks ago
• devdacian / ai-auditor-primers
  Primers for Specialist AI Smart Contract Auditors
  ☆244Updated last month
• PatrickAlphaC / signatureVerification
  ☆25Updated 6 months ago