FStar_copy Anionix · COMPLETED
A Proof-oriented Programming Language
github.com/Anionix/FStar_copy · ★ 0 · Forks 0 · Size 806.6 MB
SUMMARY
Technologies 14
Scored 14
Observed 14
Practices 6
Evidence 18
Skips 0
COVERAGE
Analyzed 4427 files · 48432 commits · 0 API calls
TECHNOLOGIES & DEPTH
Dockerfile LANGUAGE Depth 70
13 files · PRODUCTION
Shell LANGUAGE Depth 70
59 files · PRODUCTION
C++ LANGUAGE Depth 70
8 files · PRODUCTION
C LANGUAGE Depth 70
8 files · PRODUCTION
Rust LANGUAGE Depth 70
30 files · PRODUCTION
JSON LANGUAGE Depth 70
26 files · PRODUCTION
Markdown LANGUAGE Depth 70
35 files · PRODUCTION
TOML LANGUAGE Depth 70
4 files · PRODUCTION
YAML LANGUAGE Depth 70
26 files · PRODUCTION
Python LANGUAGE Depth 70
18 files · PRODUCTION
Cargo BUILD_TOOL Depth 80
1 files · CONFIGURATION
dotnet BUILD_TOOL Depth 80
1 files · CONFIGURATION
NumPy LIBRARY Depth 74
4 files · PRODUCTION
pandas LIBRARY Depth 62
2 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · observedlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2014-04-03
Last commit 2026-05-06
Active months 146
Commits 48432