Alternatives and similar repositories for programming

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

• PoustouFlan / SUnbox
  An open-source SBox analysis utility
  ☆14Updated 3 months ago
• 0xSoEasY / angr-wrapper
  angr-wrapper is a simple script to automatise and accelerate your basic use of angr (to solve CTF challenges for example)
  ☆14Updated 3 years ago
• skyf0l / RsaCracker
  Powerful RSA cracker for CTFs. Supports RSA, X509, OPENSSH in PEM and DER formats.
  ☆120Updated this week
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆80Updated 2 years ago
• stong / bad-tweet-firewall
  Chrome extension that highlights unwanted tweets
  ☆44Updated 3 weeks ago
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆112Updated last year
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆42Updated last year
• BYU-CSA / BYUCTF-2022
  Source code and writeups for all challenges
  ☆16Updated 3 years ago
• FuzzingLabs / thoth
  Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
  ☆259Updated 2 months ago
• quartz-technology / chameleon-rs
  🦎 Prototypes on polymorphic, metamorphic and poly-metamorphic malwares in Rust 🦎
  ☆13Updated last year
• rkm0959 / CTFWriteups
  Cryptography & CTF Writeups
  ☆83Updated 2 years ago
• Zellic / publications
  Zellic's audits, publications, and reports
  ☆180Updated last week
• ECSC2024 / ECSC2024-CTF-Jeopardy
  Jeopardy challenges for #ECSC2024 held in Turin, Italy from 8th to 11th October 2024
  ☆37Updated 8 months ago
• TheMesocarp / koho
  full spectrum sheaf neural networks
  ☆14Updated 2 weeks ago
• skyf0l / CTF
  Some wrrite-ups
  ☆18Updated 4 months ago
• hanasuru / vol_profile_builder
  Simple volatility profile builder based on Docker container
  ☆21Updated 4 years ago
• AZ-0 / Writeups
  Some writeups for some CTFs
  ☆17Updated last year
• FuzzingLabs / cairo-fuzzer
  Cairo/Starknet smart contract fuzzer
  ☆126Updated 2 months ago
• ethpwn / ethpwn
  ethpwn - the Swiss Army Knife for Smart Contract Hacking
  ☆50Updated 7 months ago
• cryptohack / CryptoBook
  A community driven resource for learning CryptoGraphy
  ☆65Updated 2 years ago
• fsainas / contracts-verification-benchmark
  An open benchmark for evaluating smart contracts verification tools.
  ☆14Updated last month
• hofill / AES-CTF-Tool
  ☆45Updated last year
• otter-sec / sol-ctf-framework
  Framework for Solana CTF challenges
  ☆63Updated last month
• HeroCTF / HeroCTF_v4
  ☆38Updated 2 years ago
• PwnFunction / learn-z3
  Some challenge solutions solved using z3
  ☆220Updated 2 years ago
• PwnFunction / v8-randomness-predictor
  Using z3 to predict `Math.random` in v8
  ☆304Updated 2 years ago
• 5049504F / cryptocurrency-security
  Document created to serve as a first step to learn about blockchain and smart contract security.
  ☆19Updated 3 years ago
• HeroCTF / HeroCTF_v5
  ☆52Updated 8 months ago
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆65Updated this week
• HeroCTF / HeroCTF_v2
  ☆9Updated 4 years ago