dulzeedg
Follow
Starred repositories
An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.
SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…
No-root network monitor, firewall and PCAP dumper for Android
A curated list of awesome search engines useful during Penetration testing, Vulnerability assessments, Red/Blue Team operations, Bug Bounty and more
Take a list of domains, crawl urls and scan for endpoints, secrets, api keys, file extensions, tokens and more
Nuclei is a fast, customizable vulnerability scanner powered by the global security community and built on a simple YAML-based DSL, enabling collaboration to tackle trending vulnerabilities on the …
Information Gathering tool - DNS / Subdomains / Ports / Directories enumeration
Automatically extracts API Keys from APK files
A proof assistant for general type theories
A Coq formalization of the paper "A Predicate Transformer Semantics for Effects (Functional Pearl)"
GCL verification tool based on predicate transformers
A simple utility for modifying JSON objects using a predicate-transformer paradigm
Course materials for the NITDA Blockchain Scholarship
Papers from the computer science community to read and discuss.
Master the command line, in one page
A port of Coq to Javascript -- Run Coq in your Browser
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
ReactJS library for implementing paystack payment gateway
🎈 Fullstack MERN Ecommerce Application
Popular algorithms explained in simple language with examples and links to their implementation in various programming languages and other required resources.
Algorithms and Data Structures implemented in JavaScript for beginners, following best practices.
Explore the world with your voice.
Documentation on how to access and use the Quick, Draw! Dataset.
A WebGL accelerated JavaScript library for training and deploying ML models.
