Repository Index

47,133 repositories indexed

Filters

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

1–4 of 4 · Most stars

bendlang /bend

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

Language for high-assurance and high-speed cryptography

The repository host gives no description.

HTPL is a programming language based on HTML