11 results found Sort:

645
4.1k
mit
89
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,817 commits to master branch, last one about a month ago
HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiom
Created 2017-06-18
113 commits to main branch, last one 3 months ago
155
935
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 months ago
The official Next.js library for Axiom.
Created 2022-04-28
548 commits to main branch, last one about a month ago
62
285
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
630 commits to main branch, last one a day 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 about a year ago
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Created 2015-08-26
16,739 commits to master branch, last one about a month ago
Official Go bindings for the Axiom API
Created 2020-11-18
577 commits to main branch, last one 9 days ago
11
41
mit
13
The power of Axiom on the command line.
Created 2020-10-19
303 commits to main branch, last one 8 days ago
4
33
apache-2.0
4
Official Rust bindings for the Axiom API
Created 2022-07-05
195 commits to main branch, last one 29 days ago