Himmelblau brings enterprise sign-in and compliance capabilities to Linux desktops and servers, including Azure Entra ID and OIDC authentication.
libhimmelblau provides library components for Himmelblau's enterprise sign-in and compliance integration on Linux.
A vendor-neutral AI Execution Control Plane. Gantral provides a standardized, auditable execution state machine for governing AI-assisted workflows in critical systems. It enforces explicit human-i...
CLI pipeline that pulls model metadata from HuggingFace, W&B, and MLflow, runs fairness analysis, checks EU AI Act compliance, and exports model cards.
Rule-driven scanner that checks AI systems against EU AI Act, UK AI regulations, and NIST AI RMF requirements. Deterministic pass/warn/fail scoring.
Specialized tax compliance verification guards for Cross-Border Tax, Transfer Pricing, and GST/VAT.
Unified Compliance Platform integration for regulatory reporting and real-time auditing.
Specialized tax compliance verification guards for Cross-Border Tax, Transfer Pricing, and GST/VAT.
Unified Compliance Platform integration for regulatory reporting and real-time auditing.
Mautic's product vision is to be the most privacy-focused, accessible and extendable marketing automation product on the market, giving everyone the power to understand, manage and grow their busin...
PRML (Pre-Registered ML Manifest) makes AI evaluation claims tamper-evident: nine YAML fields serialized to canonical bytes and committed to a SHA-256 before the run. Verification is offline and de...
Can I reuse this? A deterministic, directional license-compatibility check: given material under license A and a project under license B, it answers allowed / allowed-with-obligations / review / di...
Open-source, sub-10ms native Rust document engine powered by Typst to replace headless Chromium/Puppeteer for high-throughput PDF generation and European e-invoicing compliance (PDF/A-3b, Factur-X,...
David Mulder
Mautic