11 results found Sort:

616
3.9k
mit
88
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!
Created 2020-05-17
1,816 commits to master branch, last one 2 months ago
HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiom
Created 2017-06-18
108 commits to main branch, last one about a month ago
149
905
unknown
26
A collection of special paths linked to common sensitive APIs, devops internals, frameworks conf, known misconfigurations, juicy APIs ..etc. It could be used as a part of web content discovery, to sca...
Created 2021-01-15
49 commits to main branch, last one 5 days ago
The official Next.js library for Axiom.
Created 2022-04-28
494 commits to main branch, last one 19 days ago
62
287
unknown
13
automated web assets enumeration & scanning [DEPRECATED]
This repository has been archived (exclude archived)
Created 2020-09-17
30 commits to master branch, last one about a year ago
Official language bindings and library extensions for Axiom
Created 2023-02-02
556 commits to main branch, last one 17 days ago
[DEPRECATED] Use axiomhq/axiom-js instead.
This repository has been archived (exclude archived)
Created 2020-12-16
240 commits to main branch, last one 11 months ago
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Created 2015-08-26
16,610 commits to master branch, last one 4 days ago
Official Go bindings for the Axiom API
Created 2020-11-18
518 commits to main branch, last one 17 days ago
11
41
mit
13
The power of Axiom on the command line.
Created 2020-10-19
287 commits to main branch, last one 4 days ago
4
30
apache-2.0
3
Official Rust bindings for the Axiom API
Created 2022-07-05
163 commits to main branch, last one 12 days ago