GitSocial · Repository PassportCOMPLETED · 2026-10-25Z

bend PratikDhanave · COMPLETED

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

github.com/PratikDhanave/bend · ★ 0 · Forks 0 · Size 111.3 MB

SUMMARY

Technologies 8
Scored 8
Observed 8
Practices 6
Evidence 8
Skips 0

COVERAGE

Analyzed 1574 files · 2814 commits · 0 API calls

TECHNOLOGIES & DEPTH

TypeScript LANGUAGE Depth 70
28 files · PRODUCTION
C LANGUAGE Depth 70
54 files · PRODUCTION
JavaScript LANGUAGE Depth 70
59 files · PRODUCTION
JSON LANGUAGE Depth 70
3 files · PRODUCTION
TOML LANGUAGE Depth 70
1 files · PRODUCTION
Markdown LANGUAGE Depth 70
6 files · PRODUCTION
YAML LANGUAGE Depth 70
2 files · PRODUCTION
npm BUILD_TOOL Depth 80
1 files · CONFIGURATION

PRACTICES

documentation · observedautomated_tests · observedcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent

ACTIVITY & OWNERSHIP

First commit 2023-08-29
Last commit 2026-09-18
Active months 21
Commits 2814

View on GitHub · GitSocial