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

Rust2.8K55

Rust port of the TypeScript 7 type checker

Rust1.6K107

An experimental Rust port of the TypeScript 7 compiler (tsc)

TypeScript written in TypeScript