oraculum Alessandro624 · COMPLETED
An implementation of the O_SAT and O_UNSAT oracles. These oracles cannot exist. They do now.
github.com/Alessandro624/oraculum · ★ 3 · Forks 0 · Size 166 KB
SUMMARY
Technologies 6
Scored 6
Observed 6
Practices 6
Evidence 7
Skips 0
COVERAGE
Analyzed 56 files · 76 commits · 0 API calls
TECHNOLOGIES & DEPTH
TOML LANGUAGE Depth 70
1 files · PRODUCTION
Markdown LANGUAGE Depth 70
6 files · PRODUCTION
YAML LANGUAGE Depth 70
7 files · PRODUCTION
Python LANGUAGE Depth 70
40 files · PRODUCTION
Poetry BUILD_TOOL Depth 80
1 files · CONFIGURATION
pytest TESTING Depth 53
8 files · TEST
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · observedformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-05-19
Last commit 2026-05-21
Active months 1
Commits 76