Andrey Stepanov's starred repositories
awesome-intelligence
A collaboratively curated list of awesome Open-Source Intelligence (OSINT) Resources
plfa.github.io
An introduction to programming language theory in Agda
BucketLoot
BucketLoot is an automated S3-compatible bucket inspector that can help users extract assets, flag secret exposures and even search for custom keywords as well as Regular Expressions from publicly-exposed storage buckets by scanning files that store data in plain-text.
QuadraInspect
QuadraInspect is an Android framework that integrates AndroPass, APKUtil, and MobFS, providing a powerful tool for analyzing the security of Android applications.
route-detect
Find authentication (authn) and authorization (authz) security bugs in web application routes.
Black-Hat-GraphQL
The Black Hat GraphQL Book Repository
findmytakeover
find dangling domains in a multi cloud environment
awesome-tlaplus
A curated list of TLA+ resources.
practical-haskell
A collection of Practical Haskell bits.
Discord-Recon
Discord bot created to automate bug bounty recon, automated scans and information gathering via a discord server
CloudPrivs
Determine privileges from cloud credentials via brute-force testing.
ksuid-ruby
K-Sortable Unique IDentifiers in Ruby
stamina.hs
Retrying for humans using Haskell.
hspec-hedgehog
A library to integrate hedgehog tests into your hspec test suite.
hashids-haskell
:zap: Haskell port of the Hashids library. :zap:
gpt-commit
Generate conventional commit messages using GPT.
hackerone-tracker
🚀 Track HackerOne reports and leaderboard changes on programs through a Discord webhook