debambi's Projects
Awesome customizable blocks for the new WordPress Editor
Amper - a tool for project configuration with a focus on the developer experience and the IDE support
:atom: The hackable text editor
Use this sample when creating a simple pipeline in AWS CodePipeline while following the Simple Pipeline Walkthrough tutorial. http://docs.aws.amazon.com/codepipeline/latest/userguide/getting-started-w.html
Port of Bedrock to use MirrorShard library for computational reflection
🚀 Caido releases, wiki and roadmap
the only cheat sheet you need
The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.
:computer: Nextcloud themed desktop client
Reflective verification procedures for separation logic programs in Coq
Visualize flow between nodes in a directed acyclic network.
Dafny is a verification-aware programming language
Config files for my GitHub profile.
Domain name permutation engine for detecting homograph phishing attacks, typo squatting, and brand impersonation
This tool is best for you In order to download the best penetration testing tools It will save you a lot of time [FOR KALI LINUX just]
EJBCA® – Open-source public key infrastructure (PKI) and certificate authority (CA) software.
Fully featured and community-driven hacking environment
Documentation for Exegol
External Secrets Operator reads information from a third-party service like AWS Secrets Manager and automatically injects the values as Kubernetes Secrets.
Fast Incident Response
An implementation example of the FranceConnect button on a service provider's website.
Formal Reasoning About Programs
Images within my private repo blog
A repository for learning various heap exploitation techniques.
An example of an Identity Provider for FranceConnect
seL4 specification and proofs
Content indexer for Outernet receivers
LoopBack makes it easy to build modern API applications that require complex integrations.