marina DavFilsDev · PARTIAL
Yet another SAT solver in Ocaml
github.com/DavFilsDev/marina · ★ 0 · Forks 0 · Size 19 KB
SUMMARY
Technologies 7
Scored 6
Observed 6
Practices 6
Evidence 8
Skips 1
COVERAGE
Analyzed 21 files · 19 commits · 0 API calls
TECHNOLOGIES & DEPTH
Dockerfile LANGUAGE Depth 70
1 files · PRODUCTION
Markdown LANGUAGE Depth 70
1 files · PRODUCTION
YAML LANGUAGE Depth 70
3 files · PRODUCTION
Python LANGUAGE Depth 70
1 files · PRODUCTION
pip BUILD_TOOL Depth 80
1 files · CONFIGURATION
Flask FRAMEWORK Depth 54
1 files · PRODUCTION
Gunicorn LIBRARY Depth —
0 files · config only
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · observedlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2021-10-31
Last commit 2026-08-10
Active months 5
Commits 19