th-language

th-language/th

a programming language based on type-theory and correctness whilst still being usable

1 stars 1 forks 1 watchers Rust

programming-language

4 Open Issues Need Help Last updated: Sep 12, 2026

Open Issues Need Help

View All on GitHub

add verbosity to CI workflows 11 days ago

help wanted good first issue

1

a programming language based on type-theory and correctness whilst still being usable

Rust

#programming-language

make CI use nightly rust toolchain 11 days ago

help wanted good first issue

1

a programming language based on type-theory and correctness whilst still being usable

Rust

#programming-language

add `cargo msrv verify` to `checks.yml` 11 days ago

help wanted good first issue

1

a programming language based on type-theory and correctness whilst still being usable

Rust

#programming-language

remove run on push for CI workflow 11 days ago

help wanted good first issue

1

a programming language based on type-theory and correctness whilst still being usable

Rust

#programming-language