Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 31 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
Generalized Convolution and Efficient Language Recognition
Cartography is a Python tool that consolidates infrastructure assets and the relationships between them in an intuitive graph view powered by a Neo4j database.
Interactive visualizations of Terraform dependency graphs using d3.js
Fast Amazon S3 bucket enumeration tool for pentesters.
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Rhino Security Labs' "Vulnerable by Design" AWS infrastructure setup tool
Porting the Idris Effects library to Agda
Sandboxed API automatically generates sandboxes for C/C++ libraries
AWS Inventory and Compliance Framework
A dynasm-like tool for rust.
Ghidra is a software reverse engineering (SRE) framework
free as in lock-free embedded database
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
Quivela is a prototype tool for constructing proofs of the security of cryptographic protocols.
toy-level, simple SMT solver (bitblaster)
My sandbox for experimenting solver algorithms.
Blazing CloudTrail since 2018
Secure and fast microVMs for serverless computing.
Example detection of compromise credentials in AWS
Tiny data structures that pack a punch!
A tool for cleaning up your cloud accounts by nuking (deleting) all resources within it
Using math to make objects that look different / optical illusions
The theory of algebraic graphs formalised in Agda
PacBot (Policy as Code Bot)
An easy to use Linux builder for macOS [maintainer=@grahamc]
The AWS exploitation framework, designed for testing the security of Amazon Web Services environments.
Kodkod solver for relational logic
MonoSAT - An SMT solver for Monotonic Theories
Experimental language for verifiable computation using zero-knowledge proofs