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 ⭐ 97,990
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
dependent packages 559,981total releases 2,904most recent commit 10 days agonpm typescript} Downloads
Mypy ⭐ 17,070
Optional static typing for Python
dependent packages 6,707total releases 112most recent commit 3 months agopypi mypy} Downloads
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77most recent commit 3 months agopypi pyre-check} Downloads
Pytype ⭐ 4,464
A static type analyzer for Python code
dependent packages 107total releases 193most recent commit 3 months agopypi pytype} Downloads
Ezno ⭐ 1,994
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 3 months agocargo ezno-parser} Downloads
Metals ⭐ 1,983
Scala language server with rich IDE features 🚀
dependent packages 60total releases 53most recent commit 3 months ago
Steep ⭐ 1,305
Static type checker for Ruby
dependent packages 41total releases 104most recent commit 3 months agorubygems steep} Downloads
Pylyzer ⭐ 1,123
A fast static code analyzer & language server for Python
dependent packages 1total releases 50most recent commit 5 months agocargo py2erg} Downloads
Sorbet Rails ⭐ 636
A set of tools to make the Sorbet typechecker work with Ruby on Rails seamlessly.
dependent packages 2total releases 44most recent commit 10 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 4 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 a year agohex hammox} Downloads
Ts Runtime ⭐ 322
Runtime Type Checks for TypeScript
dependent packages 7total releases 39most recent commit 3 years agonpm ts-runtime} Downloads
Pyanalyze ⭐ 278
A Python type checker
dependent packages 3total releases 14most recent commit 4 months agopypi pyanalyze} Downloads
Fathom ⭐ 235
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
most recent commit a year ago
Hacspec ⭐ 230
A specification language for cryptography primitives.
dependent packages 4total releases 8most recent commit 6 months agocargo secret_integers} Downloads
Millet ⭐ 177
A language server for Standard ML.
total releases 1most recent commit 4 months ago
Parcel Plugin Typescript ⭐ 172
🚨 Enhanced TypeScript support for Parcel
dependent packages 40total releases 83most recent commit 4 years agonpm parcel-plugin-typescript} Downloads
Hack Langspec ⭐ 168
The official Hack Language specification.
most recent commit 5 years ago
Kailua ⭐ 164
🌴 Type Checker and IDE Support for Lua
dependent packages 8total releases 1most recent commit 2 years 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 26total releases 62most recent commit 7 months ago
The 10 Most Depended On Typechecker Open Source Projects
Typescript ⭐ 97,990
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
dependent packages 559,981total releases 2,904latest release December 09, 2023most recent commit 10 days agonpm typescript} Downloads
Mypy ⭐ 17,070
Optional static typing for Python
dependent packages 6,707total releases 112latest release November 23, 2023most recent commit 3 months agopypi mypy} Downloads
Is What ⭐ 98
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
dependent packages 122total releases 68latest release October 26, 2023most recent commit 6 months agonpm is-what} Downloads
Pytype ⭐ 4,464
A static type analyzer for Python code
dependent packages 107total releases 193latest release December 08, 2023most recent commit 3 months agopypi pytype} Downloads
Typechecker ⭐ 47
Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)
dependent packages 62total releases 128latest release November 25, 2023most recent commit 4 months agonpm typechecker} Downloads
Metals ⭐ 1,983
Scala language server with rich IDE features 🚀
dependent packages 60total releases 53latest release October 17, 2023most recent commit 3 months ago
Steep ⭐ 1,305
Static type checker for Ruby
dependent packages 41total releases 104latest release November 09, 2023most recent commit 3 months 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
Fuse Box Typechecker ⭐ 33
dependent packages 31total releases 56latest release January 21, 2021most recent commit 3 years agonpm fuse-box-typechecker} Downloads
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77latest release October 19, 2023most recent commit 3 months agopypi pyre-check} Downloads
The 10 Latest Releases In Typechecker Open Source Projects
Pylyzer ⭐ 1,123
A fast static code analyzer & language server for Python
dependent packages 1total releases 50latest release December 09, 2023most recent commit 5 months agocargo py2erg} Downloads
Typescript ⭐ 97,990
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
dependent packages 559,981total releases 2,904latest release December 09, 2023most recent commit 10 days agonpm typescript} Downloads
Pytype ⭐ 4,464
A static type analyzer for Python code
dependent packages 107total releases 193latest release December 08, 2023most recent commit 3 months agopypi pytype} Downloads
Typechecker ⭐ 47
Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)
dependent packages 62total releases 128latest release November 25, 2023most recent commit 4 months agonpm typechecker} Downloads
Mypy ⭐ 17,070
Optional static typing for Python
dependent packages 6,707total releases 112latest release November 23, 2023most recent commit 3 months agopypi mypy} Downloads
Ezno ⭐ 1,994
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 3 months agocargo ezno-parser} Downloads
Arguard ⭐ 25
🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).
total releases 2latest release November 17, 2023most recent commit 6 months ago
Trycast ⭐ 64
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
dependent packages 6total releases 15latest release November 12, 2023most recent commit 4 months agopypi trycast} Downloads
Steep ⭐ 1,305
Static type checker for Ruby
dependent packages 41total releases 104latest release November 09, 2023most recent commit 3 months agorubygems steep} Downloads
Is What ⭐ 98
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
dependent packages 122total releases 68latest release October 26, 2023most recent commit 6 months agonpm is-what} Downloads
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Categories
Privacy | About | Terms | Follow Us On Twitter

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

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