bendlang

bendlang

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
19.9k Stars
494 Forks
130 Watchers

Repositories (1)

bend bendlang/bend

Bend 2: a fast language that blocks AI mistakes via proof. Coming soon.

19.9k