Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
Tensors and neural networks in Haskell
-
Tricks you wish the Coq manual told you [maintainer=@tchajed]
-
A dependently-typed programming language with static memory management
-
Open-source vulnerability disclosure and bug bounty program database
-
This repository is a getting started guide to Singer.
-
An automation framework for running multiple open sourced subdomain bruteforcing tools (in parallel) using your own wordlists via Docker Compose
-
Fetch known URLs from AlienVault's Open Threat Exchange, the Wayback Machine, and Common Crawl.
-
Burp Bounty (Scan Check Builder in BApp Store) is a extension of Burp Suite that allows you, in a quick and simple way, to improve the active and passive scanner by means of personalized rules through a very intuitive graphical interface.
-
FUSE filesystem over Google Drive
-
Boot OVH server with your own iPXE script