python/mypy

• Diamond V

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

• 1,939+3 Elo, change today
• 111k stars
• 14.6k forks
• 2.2k watchers
• 15h ago

brew install typescript

• javascript
• language
• typechecker
• typescript

• Silver IV

A fast type checker and language server for Python

• 1,463+9 Elo, change today
• 7.2k stars
• 603 forks
• 2d ago

git clone https://github.com/pyrefly-org/pyrefly.git

• code-quality
• ide
• language-server
• language-server-protocol

• Copper II

TypeChat is a library that makes it easy to build natural language interfaces using types.

• 1,331−1 Elo, change today
• 8.6k stars
• 424 forks
• 3d ago

git clone https://github.com/microsoft/TypeChat.git

• ai
• llm
• natural-language
• types

• Copper IV

Runtime type system for IO decoding/encoding

• 1,242−2 Elo, change today
• 6.8k stars
• 319 forks
• 1y ago

git clone https://github.com/gcanti/io-ts.git

• inference
• runtime
• types
• typescript

• Gold V

⚡ Dynamically generated, customizable SVG that gives the appearance of typing and deleting text for use on your profile page, repositories, or website.

• 1,524−5 Elo, change today
• 9.5k stars
• 1.6k forks
• 5d ago

git clone https://github.com/DenverCoder1/readme-typing-svg.git

• animation
• dynamic
• github
• hacktoberfest

• Silver III

A mighty CSS linter that helps you avoid errors and enforce conventions.

• 1,481+13 Elo, change today
• 11.5k stars
• 1k forks
• 4d ago

git clone https://github.com/stylelint/stylelint.git

• css
• lint
• linter