普罗米修斯出口商从远程连接中刮取证书以监视证书
A Prometheus exporter to scrape certificates from remote connections to monitor the certificates (2024-01-18, Rust, 0KB, 下载0次)
用二元决策图求解抽象辩证框架；在德累斯顿开发（ADF-BDD）
Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD) (2023-06-08, Rust, 425KB, 下载0次)