echidna hyperpolymath · PARTIAL
ECHIDNA — Extensible Cognitive Hybrid Intelligence for Deductive Neural Assistance. Neurosymbolic theorem proving with 30 prover backends
github.com/hyperpolymath/echidna · ★ 5 · Forks 0 · Size 146.9 MB
SUMMARY
Technologies 24
Scored 20
Observed 20
Practices 6
Evidence 34
Skips 4
COVERAGE
Analyzed 1363 files · 1471 commits · 0 API calls
TECHNOLOGIES & DEPTH
Dockerfile LANGUAGE Depth 70
1 files · PRODUCTION
C++ LANGUAGE Depth 70
7 files · PRODUCTION
Shell LANGUAGE Depth 70
33 files · PRODUCTION
Rust LANGUAGE Depth 70
299 files · PRODUCTION
C LANGUAGE Depth 70
1 files · PRODUCTION
JavaScript LANGUAGE Depth 70
1 files · PRODUCTION
JSON LANGUAGE Depth 70
40 files · PRODUCTION
TOML LANGUAGE Depth 70
50 files · PRODUCTION
Markdown LANGUAGE Depth 70
21 files · PRODUCTION
YAML LANGUAGE Depth 70
58 files · PRODUCTION
Cargo BUILD_TOOL Depth 80
1 files · CONFIGURATION
Axum FRAMEWORK Depth 78
6 files · PRODUCTION
Clap LIBRARY Depth —
0 files · config only
GraphQL LIBRARY Depth 58
1 files · PRODUCTION
Next.js FRAMEWORK Depth 58
1 files · PRODUCTION
Prettier QUALITY Depth 58
1 files · CONFIGURATION
Redis CACHE Depth 88
6 files · CONFIGURATION
Reqwest LIBRARY Depth 74
5 files · PRODUCTION
Serde LIBRARY Depth 78
74 files · PRODUCTION
Tokio LIBRARY Depth 81
162 files · PRODUCTION, TEST
Tokio Stream LIBRARY Depth —
0 files · config only
Tokio Test TESTING Depth —
0 files · config only
Tracing OBSERVABILITY Depth —
0 files · config only
TypeScript LANGUAGE Depth 58
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · observedlinting · absentformatting · observed
ACTIVITY & OWNERSHIP
First commit 2025-11-21
Last commit 2026-09-25
Active months 11
Commits 1471