mkannwischer Matthias Kannwischer
github.com/mkannwischer · maintains 5 packages (5 directly), sole maintainer of 3, member of 0 teams
5 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Bounded Model Checker for C and C++ programs |
6.11.0 |
2 | 8 | 0 | 0 | maintained | ||
Interactive theorem prover based on Higher-Order Logic |
0-unstable-2026-09-02 |
3 | 12 | 0 | 0 | maintained | ||
Assembly superoptimization via constraint solving |
0.2.2 |
1 | 22 | 0 | 0 | single | ||
Assembly superoptimization via constraint solving |
0.2.2 |
1 | 22 | 0 | 0 | single | ||
Assembly superoptimization via constraint solving |
0.2.2 |
1 | 21 | 0 | 0 | single |