Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Type Checking Open Source Projects

Open source projects categorized as Type Checking
Categories > Compilers > Type Checking
Closure Compiler ⭐ 7,175
A JavaScript checker and optimizer.
dependent packages 180total releases 135most recent commit 3 months ago
Ts Toolbelt ⭐ 6,011
👷 TypeScript's largest type utility library
dependent packages 973total releases 928most recent commit a year agonpm ts-toolbelt} Downloads
Ow ⭐ 3,740
Function argument validation for humans
dependent packages 457total releases 44most recent commit 10 months agonpm ow} Downloads
Thinc ⭐ 2,774
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
dependent packages 67total releases 229most recent commit 3 months agopypi thinc} Downloads
Write You A Haskell ⭐ 2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
most recent commit 4 years ago
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40most recent commit 3 months ago
Tcomb ⭐ 1,883
Type checking and DDD for JavaScript
dependent packages 276total releases 74most recent commit 5 years agonpm tcomb} Downloads
Tl ⭐ 1,829
The compiler for Teal, a typed dialect of Lua
most recent commit 3 months ago
Rbs ⭐ 1,825
Type Signature for Ruby
dependent packages 59total releases 104most recent commit 3 months agorubygems rbs} Downloads
Result ⭐ 1,198
A simple Rust like Result type for Python 3. Fully type annotated.
dependent packages 43total releases 23most recent commit 3 months agopypi result} Downloads
Jest ⭐ 754
Super-fast alternative for babel-jest or ts-jest without type checking. Please use main repository for issues
dependent packages 2,609total releases 33most recent commit 3 months agonpm @swc/jest} Downloads
Caer ⭐ 691
High-performance Vision library in Python. Scale your research, not boilerplate.
dependent packages 2total releases 119most recent commit a year agopypi caer} Downloads
Slang ⭐ 505
SystemVerilog compiler and language services
most recent commit 3 months 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
Elixir Type_check ⭐ 500
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
dependent packages 5total releases 38most recent commit 9 months agohex type_check} Downloads
Python Blueprint ⭐ 492
🐍 Example Python project using best practices 🥇
total releases 1most recent commit 3 months ago
Airgram ⭐ 470
Strict typed library to create Telegram apps with Typescript/JavaScript (based on TDLib 1.8)
dependent packages 11total releases 28most recent commit a year agonpm @airgram/core} Downloads
Objectmodel ⭐ 467
Strong Dynamically Typed Object Modeling for JavaScript
dependent packages 31total releases 77most recent commit 5 months agonpm objectmodel} Downloads
Stronger_parameters ⭐ 298
Type checking and type casting of parameters for Action Pack
dependent packages 1total releases 36most recent commit 5 months agorubygems stronger_parameters} Downloads
Lit Analyzer ⭐ 292
Monorepository for tools that analyze lit-html templates
dependent packages 477total releases 35most recent commit 3 months agonpm lit-analyzer} Downloads
Mypy Pycharm Plugin ⭐ 252
A simple plugin that allows running mypy from PyCharm and navigate between errors
most recent commit 4 years ago
React Redux Typescript Jspm Starter ⭐ 237
Futuristic, bundle-free, development environment for building Component-Driven SPA with React, Redux and TypeScript - powered by JSPM (SystemJS & Rollup with tree-shaking)
most recent commit 6 years ago
Check Types.js ⭐ 233
MOVED TO GITLAB
dependent packages 2total releases 1most recent commit 6 years ago
The 10 Most Depended On Type Checking Open Source Projects
Jest ⭐ 754
Super-fast alternative for babel-jest or ts-jest without type checking. Please use main repository for issues
dependent packages 2,609total releases 33latest release August 12, 2023most recent commit 3 months agonpm @swc/jest} Downloads
Ts Toolbelt ⭐ 6,011
👷 TypeScript's largest type utility library
dependent packages 973total releases 928latest release March 10, 2021most recent commit a year agonpm ts-toolbelt} Downloads
Grunt Tslint ⭐ 43
A Grunt plugin for tslint.
dependent packages 498total releases 37latest release April 18, 2018most recent commit 6 years agonpm grunt-tslint} Downloads
Lit Analyzer ⭐ 292
Monorepository for tools that analyze lit-html templates
dependent packages 477total releases 35latest release December 11, 2023most recent commit 3 months agonpm lit-analyzer} Downloads
Is Type Of ⭐ 120
complete type checking for node
dependent packages 464total releases 17latest release November 25, 2023most recent commit 4 months agonpm is-type-of} Downloads
Ow ⭐ 3,740
Function argument validation for humans
dependent packages 457total releases 44latest release January 26, 2023most recent commit 10 months agonpm ow} Downloads
Typeforce ⭐ 22
Another biased type checking solution for Javascript
dependent packages 277total releases 72latest release December 10, 2018most recent commit a year agonpm typeforce} Downloads
Tcomb ⭐ 1,883
Type checking and DDD for JavaScript
dependent packages 276total releases 74latest release November 15, 2018most recent commit 5 years agonpm tcomb} Downloads
Pyright Python ⭐ 126
Python command line wrapper for pyright, a static type checker
dependent packages 233total releases 131latest release December 06, 2023most recent commit 3 months agopypi pyright} Downloads
Closure Compiler ⭐ 7,175
A JavaScript checker and optimizer.
dependent packages 180total releases 135latest release November 13, 2023most recent commit 3 months ago
The 10 Latest Releases In Type Checking Open Source Projects
Lit Analyzer ⭐ 292
Monorepository for tools that analyze lit-html templates
dependent packages 477total releases 35latest release December 11, 2023most recent commit 3 months agonpm lit-analyzer} Downloads
Pyright Python ⭐ 126
Python command line wrapper for pyright, a static type checker
dependent packages 233total releases 131latest release December 06, 2023most recent commit 3 months agopypi pyright} Downloads
Result ⭐ 1,198
A simple Rust like Result type for Python 3. Fully type annotated.
dependent packages 43total releases 23latest release December 05, 2023most recent commit 3 months agopypi result} Downloads
Strongtyping ⭐ 102
Decorator which checks whether the function is called with the correct type of parameters.
dependent packages 5total releases 55latest release December 04, 2023most recent commit 4 months agopypi strongtyping} Downloads
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 3 months ago
Php Struct ⭐ 44
Simple structs for PHP7
latest release November 29, 2023most recent commit 9 years ago
Shapeshift ⭐ 88
Blazing fast input validation and transformation ⚡
dependent packages 87total releases 314latest release November 26, 2023most recent commit 3 months agonpm @sapphire/shapeshift} Downloads
Is Type Of ⭐ 120
complete type checking for node
dependent packages 464total releases 17latest release November 25, 2023most recent commit 4 months agonpm is-type-of} Downloads
Rbi ⭐ 22
RBI generation framework
dependent packages 1total releases 23latest release November 22, 2023most recent commit 4 months agorubygems rbi} 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.