| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Typescript | 106,558 | 310,521 | 559,981 | a month ago | 2,904 | December 09, 2023 | 6,069 | apache-2.0 | TypeScript | |
| TypeScript is a superset of JavaScript that compiles to clean JavaScript output. | ||||||||||
| Pyre Check | 6,606 | 23 | 31 | 2 years ago | 77 | October 19, 2023 | 146 | mit | OCaml | |
| Performant type-checking for python. | ||||||||||
| Ezno | 1,994 | 3 | 2 years ago | 10 | November 20, 2023 | 30 | mit | Rust | ||
| A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance | ||||||||||
| Metals | 1,983 | 60 | 2 years ago | 53 | October 17, 2023 | 259 | apache-2.0 | Scala | ||
| Scala language server with rich IDE features 🚀 | ||||||||||
| Steep | 1,305 | 4 | 41 | 2 years ago | 104 | November 09, 2023 | 106 | mit | Ruby | |
| Static type checker for Ruby | ||||||||||
| Rezoom.sql | 634 | 4 | 3 | 5 years ago | 23 | December 01, 2017 | n,ull | mit | F# | |
| Statically typechecks a common SQL dialect and translates it to various RDBMS backends | ||||||||||
| Enforce | 529 | 12 | 3 | 4 years ago | 7 | June 11, 2017 | 35 | Python | ||
| Python 3.5+ runtime type checking for integration testing and data validation | ||||||||||
| Hammox | 504 | 1 | 3 years ago | 14 | July 24, 2022 | 10 | apache-2.0 | Elixir | ||
| 🏝 automated contract testing via type checking for Elixir functions and mocks | ||||||||||
| Fathom | 235 | 3 years ago | 37 | apache-2.0 | Rust | |||||
| 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧 | ||||||||||
| Parcel Plugin Typescript | 172 | 77 | 40 | 6 years ago | 83 | June 14, 2018 | 39 | mit | TypeScript | |
| 🚨 Enhanced TypeScript support for Parcel | ||||||||||