The dynamic infrastructure framework for everybody! Distribute the workload of many different scanning tools with ease, including nmap, ffuf, masscan, nuclei, meg and many more!
- hacking-vps
- bug-bounty
- tmux
- axiom
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
Full-featured MP4 format, MPEG DASH, HLS, CMAF SDK and tools
HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiom
- axiom
- data-structures
- go
- golang
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
a micro-framework for web applications in Erlang
A formalization of geometry in Coq based on Tarski's axiom system
A Lean formalization of the Classification of Finite Simple Groups