alejandro-vaz

alejandro-vaz/tlang

a programming language based on type-theory and invariants with minimal assumptions

1 good first / help-wanted issue · Rust · last activity Sep 13, 2026

1 stars 0 forks 1 watchers Rust The Unlicense
View on GitHub
1 Open Issue Need Help Last updated: Sep 13, 2026

Open Issues Need Help

View All on GitHub
fix typo in `.github/README.md` 6 days ago
help wanted good first issue
alejandro-vaz/tlang
1

a programming language based on type-theory and invariants with minimal assumptions

Rust