Skip to content
#

sarif-output

Star

Here are 3 public repositories matching this topic...

Language: All
Filter by language
All 3 Rust 2 Elixir 1

hyperpolymath / hypatia

Sponsor
Star 4

Neurosymbolic CI/CD governance scanner for a ~400-repo estate: rule-based detection with Bayesian confidence gating, safety-triangle remediation (eliminate > substitute > control), SARIF output and machine-checked proofs.

open-source elixir beam static-analysis formal-verification policy-as-code compliance-automation supply-chain-security openssf-scorecard hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance neurosymbolic-static-analysis sarif-output safety-triangle-remediation
  • Updated Sep 20, 2026
  • Elixir

hyperpolymath / oikosbot

Sponsor
Star 2

Measures what software costs — money, time, energy, carbon — and which repositories turn that spend into verified capability. Pareto-first verdicts per change; Data Envelopment Analysis over CI telemetry per estate; SARIF out.

rust open-source developer-tools technical-debt multi-objective-optimization cli-tool pareto-optimality data-envelopment-analysis green-software hyperpolymath epistemic-infrastructure software-economics epistemic-computing veridical-computing equivalence-aware-computing typed-provenance sarif-output carbon-aware-ci
  • Updated Sep 20, 2026
  • Rust

hyperpolymath / pons-asinorum

Sponsor
Star 1

A depth-first, multi-language static scanner that flags wasted work, self-contradiction, and missing escape hatches — and never dresses a heuristic up as a proof. The pons asinorum for code.

rust open-source tree-sitter linter static-analysis developer-tools control-flow-analysis code-quality cli-tool typestate dead-code-detection hyperpolymath epistemic-infrastructure epistemic-computing static-analysis-tool veridical-computing heuristic-free-linting sarif-output
  • Updated Sep 20, 2026
  • Rust

Add this topic to your repo

To associate your repository with the sarif-output topic, visit your repo's landing page and select "manage topics."

Learn more