propagators-chirho

propagators-chirho contains 6 collected skills from loveJesus, with repository-level occupation coverage and site-owned skill detail pages.

skills collected

Stars

updated

2026-01-24

Forks

Occupation coverage

2 occupation categories · 100% classified

repository explorer

Skills in this repository

creator/repo/skill

skill

occupation

description

updated

Add a new propagator type to propagators-chirho

Run criterion benchmarks for propagators-chirho performance analysis

Generate and review documentation for propagators-chirho

Publish a new version of propagators-chirho to crates.io

Run comprehensive test suite for propagators-chirho with all feature combinations

Run Kani formal verification proofs for propagators-chirho