salva55

salva55

Geek Repo

Github PK Tool:Github PK Tool

salva55's starred repositories

halmos

A symbolic testing tool for EVM smart contracts

Language:PythonLicense:AGPL-3.0Stargazers:741Issues:0Issues:0
Language:SolidityStargazers:10Issues:0Issues:0
Language:SolidityStargazers:4Issues:0Issues:0

james-project

Emails at the heart of your business logic!

Language:JavaLicense:Apache-2.0Stargazers:849Issues:0Issues:0

biconomy-solidity-style-guide

A comprehensive Solidity Style Guide to ensure consistent, readable, and maintainable smart contracts. Features include coding conventions, best practices for gas optimization and security, standardized naming, and effective documentation techniques. Ideal for developers seeking to improve their Solidity projects.

License:MITStargazers:53Issues:0Issues:0

solmate

Modern, opinionated, and gas optimized building blocks for smart contract development.

Language:SolidityLicense:AGPL-3.0Stargazers:3780Issues:0Issues:0

linux-exploit-suggester

Linux privilege escalation auditing tool

Language:ShellLicense:GPL-3.0Stargazers:5443Issues:0Issues:0

generative-ai-for-beginners

18 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/

Language:Jupyter NotebookLicense:MITStargazers:57183Issues:0Issues:0

BetaFast

Vulnerable thick client applications used as examples in the Introduction to Hacking Desktop Applications blog series

Language:C#License:GPL-3.0Stargazers:93Issues:0Issues:0

h4cker

This repository is primarily maintained by Omar Santos (@santosomar) and includes thousands of resources related to ethical hacking, bug bounties, digital forensics and incident response (DFIR), artificial intelligence security, vulnerability research, exploit development, reverse engineering, and more.

Language:Jupyter NotebookLicense:MITStargazers:17324Issues:0Issues:0
License:GPL-3.0Stargazers:2958Issues:0Issues:0
Language:SolidityStargazers:8Issues:0Issues:0
Language:SolidityLicense:MITStargazers:61Issues:0Issues:0

aderyn

Aderyn 🦜 Rust-based Solidity AST analyzer.

Language:RustLicense:GPL-2.0Stargazers:328Issues:0Issues:0

js-ethereum-cryptography

Every cryptographic primitive needed to work on Ethereum, for the browser and Node.js

Language:TypeScriptLicense:MITStargazers:691Issues:0Issues:0

audit-checklist

Aggregated audit checklist

Stargazers:150Issues:0Issues:0

github-slideshow

A robot powered training repository :robot:

Language:HTMLLicense:MITStargazers:1Issues:0Issues:0

solidity-patterns

A compilation of patterns and best practices for the smart contract programming language Solidity

Language:SolidityLicense:MITStargazers:3108Issues:0Issues:0
Language:SolidityStargazers:17Issues:0Issues:0

Awesome-Bugbounty-Writeups

A curated list of bugbounty writeups (Bug type wise) , inspired from https://github.com/ngalongc/bug-bounty-reference

Language:PythonStargazers:4477Issues:0Issues:0
Language:MakefileStargazers:12Issues:0Issues:0

public-pentesting-reports

A list of public penetration test reports published by several consulting firms and academic security groups.

Language:HTMLStargazers:8229Issues:0Issues:0

Nmap-For-Pentester

This cheatsheet was created to assist Red Teamers and Penetration Testers in hunting down vulnerabilities using "Nmap."

Stargazers:619Issues:0Issues:0
Language:SolidityStargazers:38Issues:0Issues:0

web3.py

A python interface for interacting with the Ethereum blockchain and ecosystem.

Language:PythonLicense:MITStargazers:4899Issues:0Issues:0
License:AGPL-3.0Stargazers:38Issues:0Issues:0

echidna

Ethereum smart contract fuzzer

Language:SolidityLicense:AGPL-3.0Stargazers:2653Issues:0Issues:0

medusa

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

Language:GoLicense:AGPL-3.0Stargazers:276Issues:0Issues:0