docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

4e375fc

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

GitGuardian

GitGuardian Security Checks

codefactor.io

CodeFactor

Semgrep Code - hyperpolymath

semgrep-cloud-platform/scan

CodeQL on: dynamic 1

Analyze (actions)

CI on: pull_request 25

Julia 1.10 - ubuntu-latest

Julia 1.10 - macos-latest

Julia 1.10 - windows-latest

Julia 1.11 - ubuntu-latest

Julia 1.11 - macos-latest

Julia 1.11 - windows-latest

Julia nightly - ubuntu

Zig Backend

CPU vs Zig parity + accelerated smoke

Interop smoke (PyTorch import + ONNX export)

Roadmap could-baselines (packaging + optimization + telemetry)

GPU fallback tests - ubuntu-latest

GPU fallback tests - macos-latest

Coprocessor strategy, resilience, and TPU/NPU/DSP/MATH strict tests

GPU hardware smoke (CUDA)

GPU hardware smoke (ROCm)

GPU hardware smoke (Metal)

Runtime smoke (CPU)

Certificate integrity checks

Proof assistant bundle checks

Idris2 ABI typecheck

SMT proofs (Z3)

Documentation sanity

Security Audit

Estate Rules on: pull_request 3

estate-rules

Static Analysis Gate on: pull_request 5

Detect relevant changes

panic-attack assail

Patch Bridge CVE triage (crypto/)

Documentation on: pull_request 1

Build docs (Documenter, with doctests)

Dependabot Auto-Merge on: pull_request

automerge

Creusot Verification on: pull_request 1

Creusot contracts (crypto/)

Julia Test Gate on: pull_request 4

Julia 1.10 (crypto-enabled) - ubuntu-latest

Julia 1 (crypto-enabled) - ubuntu-latest

Julia nightly (crypto-enabled) - ubuntu-latest

Dogfood Gate on: pull_request 9

Validate DEED manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Dogfooding compliance summary

Governance on: pull_request 17

governance / Check Workflow Staleness

governance / Language / package anti-pattern policy

governance / Guix primary / Nix fallback policy

governance / Security policy checks

governance / Code quality + docs

governance / Well-Known (RFC 9116 + RSR)

governance / Workflow security linter

governance / Trusted-base reduction policy

governance / Licence consistency

governance / Validate Hypatia Baseline

Secret Scanner on: pull_request 3

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Hypatia Security Scan on: pull_request 2

hypatia / Hypatia Neurosymbolic Analysis

Code scanning results

CodeQL

Hypatia

docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

Uh oh!

Select a check to view from the sidebar