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!

An FFmpeg GUI for Windows

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 scan passively for high-quality endpoints and quick-wins.

HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiom

Logging that makes sense. Wide events, structured errors, zero chaos.

An axiom-free formalization of category theory in Coq for personal study and practical work

Battle-tested Claude Code skills for modern xOS (iOS, iPadOS, watchOS, tvOS) development

A powerful realtime node-based audio synthesizer.

A package that provides a library of reusable Laravel validation rules.

Simplifies querying of structured data using relational algebra

The official Next.js library for Axiom.

Axiom is a free, open source computer algebra system

A high-speed forensic timeline engine for Windows forensic artifact CSV output built for DFIR investigators. Quickly consolidate CSV output from processed triage evidence for Eric Zimmerman (EZ Tools) Kape, Axiom, Hayabusa, Chainsaw and Nirsoft into a unified timeline.

automated web assets enumeration & scanning [DEPRECATED]

a micro-framework for web applications in Erlang

Ultra fast and portable Parakeet implementation for on-device inference in C++ using Axiom with MPS+Unified Memory

A formalization of geometry in Coq based on Tarski's axiom system

AXIOM firmware (linux image, gateware and software tools)

Inference algorithms for models based on Luce's choice axiom

A projectdiscovery driven attack surface monitoring bot powered by axiom

Implementation of a highly-scalable and ergonomic actor model for Rust

Official language bindings and library extensions for Axiom

Solana pumpfun bundler stealth-mode, bubblemap-bypassing, real bot activity

Run a <400ms latency Voice Agent on just 4GB VRAM. Fully offline, no API keys required. Optimized for GTX 1650 and edge robotics with zero-copy inference. (Apache 2.0)

DeepGO with GOPlus axioms

High-performance C++ tensor library with NumPy/PyTorch-like API

No description available

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

Serverside component for Axiom

Example of movie list app in Vue JS + Vuetify + Axioms using omdbapi(open movie database API)