Who should use hardmap?

hardmap is an open-source project built for complexity theorists.

Yes — hardmap is open source under the Apache-2.0 license and free to use.

What platforms does hardmap run on?

hardmap runs on the command line.

Is hardmap still active?

The GitHub repository shows 140 commits in the last 90 days.

What projects are similar to hardmap?

Similar projects tracked by PulseGate include Track Debug, ZenPress, and StarPulse.

Is hardmap open source?

Yes — hardmap is open source under the Apache-2.0 license, developed on GitHub.

Back to the index

hardmap

PyPIInfrastructure

hardmap is a Python package and CLI tool that generates reproducible evidence for the charge-atlas and proof-space programs. It produces an atlas, oracle line, proof census, and supports a single reproducible CLI. It is intended for researchers working in computational complexity and proof complexity.

Open SourceApache-2.0CLI

Visit PyPI

Overview

4 features

hardmap is a Developer Tools project. It focuses on generating reproducible computational evidence and proofs for complexity theory research. It is built as an open-source project for complexity theorists. hardmap is open source under the Apache-2.0 license. It ships for the command line.

hardmap first shipped in 2026. The project is developed in the open on GitHub with 140 commits in the last 90 days. Among its 4 catalogued features are reproducible atlas, proof census, and oracle line.

Summary written by a language model from the project’s public pages.

Reproducible atlas
Proof census
Oracle line
Repro CLI

Built with & integrations

Runs on

CLI

Trust & compliance

License

Apache-2.0

Verified signals

HTTPSOpen Source GitHubActive maintenance

Indexing history

What PulseGate has recorded for this listing

Indexed24 Jul · 02:09 UTC
hardmap verified against its public source
Source: PulseGate · Open

Frequently asked questions about hardmap

What does hardmap do?: Hardmap focuses on generating reproducible computational evidence and proofs for complexity theory research. It is catalogued under Developer Tools on PulseGate.
Who should use hardmap?: hardmap is an open-source project built for complexity theorists.
Is hardmap free?: Yes — hardmap is open source under the Apache-2.0 license and free to use.
What platforms does hardmap run on?: hardmap runs on the command line.
Is hardmap still active?: The GitHub repository shows 140 commits in the last 90 days.
What projects are similar to hardmap?: Similar projects tracked by PulseGate include Track Debug, ZenPress, and StarPulse.Track Debug ZenPress StarPulse
When did hardmap launch?: hardmap first shipped in 2026.
Is hardmap open source?: Yes — hardmap is open source under the Apache-2.0 license, developed on GitHub.

At a glance

Platforms: Cli
Languages: English
Open source: Yes (GitHub)
License: Apache-2.0
First seen: 24 Jul 2026
Built for: complexity theorists
Model: Open source
Solves: Generating reproducible computational evidence and proofs for complexity theory research.

Registered as

GitHub: cloudronin/hardmap
PyPI: hardmap

Developer

Cloudronin

Solo developer

GitHub

Open source

View on GitHub

Stars: 0
Forks: 0
Open issues: 0
Last commit: 24 Jul 2026
Commits 90d: 140
Contributors: 1
Authorship: Solo
Default branch: main
Latest release: v1.0.0 · 24 Jul 2026

Live coverage

Identity confidence: Low · 64
Indexed: 24 Jul 2026
Lifecycle: Alive
First seen: Jul 2026
Last seen: 24 Jul 2026

Identity audit (13)

Slug: hardmap-pypi-org
Lifecycle state recorded: 24 Jul 2026
Verification state: Indexed for public listing
Listing state: Listed: yes
Index status: Included in index
Latest evidence snapshot: 24 Jul 2026
Timeline basis: Indexed-at chronology (no inferred launch/funding milestones).
Name from: Written by a language model from the project's public pages.
Category from: Assigned by a language model.
Summary from: Written by a language model from public pages.
Languages from: Detected by a language model from page content.
Last updated: 24 Jul 2026
Canonical URL: https://pypi.org/project/hardmap

Ship this? Send a correction — no account, and you get a link to follow it.

Also in Developer Tools

Same category — not a similarity match