Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Typechecker Open Source Projects

Open source projects categorized as Typechecker
Categories > Compilers > Typechecker
Typescript ⭐ 95,435
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
dependent packages 535,227total releases 2,673most recent commit a day agonpm typescript} Downloads
Mypy ⭐ 16,813
Optional static typing for Python
dependent packages 6,646total releases 112most recent commit 2 days agopypi mypy} Downloads
Pyre Check ⭐ 6,557
Performant type-checking for python.
dependent packages 30total releases 77most recent commit 2 days agopypi pyre-check} Downloads
Pytype ⭐ 4,406
A static type analyzer for Python code
dependent packages 105total releases 190most recent commit 8 days agopypi pytype} Downloads
Metals ⭐ 1,958
Scala language server with rich IDE features 🚀
dependent packages 60total releases 46most recent commit a day ago
Ezno ⭐ 1,830
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
dependent packages 3total releases 10most recent commit a day agocargo ezno-parser} Downloads
Steep ⭐ 1,287
Static type checker for Ruby
dependent packages 41total releases 104most recent commit 5 days agorubygems steep} Downloads
Pylyzer ⭐ 1,094
A fast static code analyzer & language server for Python
dependent packages 1total releases 49most recent commit 6 days agocargo py2erg} Downloads
Sorbet Rails ⭐ 636
A set of tools to make the Sorbet typechecker work with Ruby on Rails seamlessly.
dependent packages 1total releases 44most recent commit 5 months agorubygems sorbet-rails} Downloads
Rezoom.sql ⭐ 634
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
dependent packages 3total releases 23most recent commit 3 years agonuget Rezoom.SQL.Provider} Downloads
Enforce ⭐ 529
Python 3.5+ runtime type checking for integration testing and data validation
dependent packages 3total releases 7most recent commit 2 years agopypi enforce} Downloads
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1most recent commit 3 years ago
Hammox ⭐ 504
🏝 automated contract testing via type checking for Elixir functions and mocks
dependent packages 1total releases 14most recent commit 8 months agohex hammox} Downloads
Ts Runtime ⭐ 322
Runtime Type Checks for TypeScript
dependent packages 6total releases 39most recent commit 3 years agonpm ts-runtime} Downloads
Pyanalyze ⭐ 274
A Python type checker
dependent packages 3total releases 14most recent commit 9 days agopypi pyanalyze} Downloads
Fathom ⭐ 235
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
most recent commit 9 months ago
Hacspec ⭐ 230
A specification language for cryptography primitives.
dependent packages 4total releases 8most recent commit a month agocargo secret_integers} Downloads
Parcel Plugin Typescript ⭐ 172
🚨 Enhanced TypeScript support for Parcel
dependent packages 40total releases 83most recent commit 4 years agonpm parcel-plugin-typescript} Downloads
Millet ⭐ 170
A language server for Standard ML.
total releases 1most recent commit a month ago
Hack Langspec ⭐ 168
The official Hack Language specification.
most recent commit 4 years ago
Kailua ⭐ 164
🌴 Type Checker and IDE Support for Lua
dependent packages 8total releases 1most recent commit a year agocargo kailua_env} Downloads
Kentuckymule ⭐ 157
Limits of Scala typechecking speed
most recent commit 3 years ago
Izumi Reflect ⭐ 132
TypeTag without scala-reflect. Supports Scala 2 and Scala 3.
dependent packages 10total releases 62most recent commit 2 months ago
The 10 Most Depended On Typechecker Open Source Projects
Typescript ⭐ 95,435
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
dependent packages 535,227total releases 2,673latest release November 28, 2023most recent commit a day agonpm typescript} Downloads
Mypy ⭐ 16,813
Optional static typing for Python
dependent packages 6,646total releases 112latest release November 23, 2023most recent commit 2 days agopypi mypy} Downloads
Is What ⭐ 98
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
dependent packages 117total releases 68latest release October 26, 2023most recent commit a month agonpm is-what} Downloads
Pytype ⭐ 4,406
A static type analyzer for Python code
dependent packages 105total releases 190latest release November 22, 2023most recent commit 8 days agopypi pytype} Downloads
Metals ⭐ 1,958
Scala language server with rich IDE features 🚀
dependent packages 60total releases 46latest release October 17, 2023most recent commit a day ago
Typechecker ⭐ 47
Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)
dependent packages 55total releases 110latest release July 31, 2021most recent commit 4 days agonpm typechecker} Downloads
Steep ⭐ 1,287
Static type checker for Ruby
dependent packages 41total releases 104latest release November 09, 2023most recent commit 5 days agorubygems steep} Downloads
Parcel Plugin Typescript ⭐ 172
🚨 Enhanced TypeScript support for Parcel
dependent packages 40total releases 83latest release June 14, 2018most recent commit 4 years agonpm parcel-plugin-typescript} Downloads
Pyre Check ⭐ 6,557
Performant type-checking for python.
dependent packages 30total releases 77latest release October 19, 2023most recent commit 2 days agopypi pyre-check} Downloads
Fuse Box Typechecker ⭐ 33
dependent packages 29total releases 56latest release January 21, 2021most recent commit 3 years agonpm fuse-box-typechecker} Downloads
The 10 Latest Releases In Typechecker Open Source Projects
Typescript ⭐ 95,435
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
dependent packages 535,227total releases 2,673latest release November 28, 2023most recent commit a day agonpm typescript} Downloads
Mypy ⭐ 16,813
Optional static typing for Python
dependent packages 6,646total releases 112latest release November 23, 2023most recent commit 2 days agopypi mypy} Downloads
Pytype ⭐ 4,406
A static type analyzer for Python code
dependent packages 105total releases 190latest release November 22, 2023most recent commit 8 days agopypi pytype} Downloads
Ezno ⭐ 1,830
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
dependent packages 3total releases 10latest release November 20, 2023most recent commit a day agocargo ezno-parser} Downloads
Steep ⭐ 1,287
Static type checker for Ruby
dependent packages 41total releases 104latest release November 09, 2023most recent commit 5 days agorubygems steep} Downloads
Pylyzer ⭐ 1,094
A fast static code analyzer & language server for Python
dependent packages 1total releases 49latest release November 03, 2023most recent commit 6 days agocargo py2erg} Downloads
Is What ⭐ 98
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
dependent packages 117total releases 68latest release October 26, 2023most recent commit a month agonpm is-what} Downloads
Pyre Check ⭐ 6,557
Performant type-checking for python.
dependent packages 30total releases 77latest release October 19, 2023most recent commit 2 days agopypi pyre-check} Downloads
Metals ⭐ 1,958
Scala language server with rich IDE features 🚀
dependent packages 60total releases 46latest release October 17, 2023most recent commit a day ago
Pyanalyze ⭐ 274
A Python type checker
dependent packages 3total releases 14latest release October 04, 2023most recent commit 9 days agopypi pyanalyze} Downloads
Popular Compilers Categories
Gcc
Abstract Syntax Tree
Llvm
Clang
Lexer
Wsl
Emscripten
Ghc
Tokenizer
Linker
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2023 Awesome Open Source.  All rights reserved.