Project Name	Stars	Packages Using This	Most Recent Commit	Total Releases	Latest Release	Open Issues	License	Language
Pyright Python	126	233	3 months ago	131	December 06, 2023	41	mit	Python
Python command line wrapper for pyright, a static type checker
Infrared	42	2	3 years ago	1	July 03, 2018		mit	OCaml
:sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.
Libcspm	30		a year ago	6	January 26, 2015	2	other	Haskell
The library FDR3 uses for parsing, type checking and evaluating machine CSP.

Alternatives To Pyright Python

Select To Compare

Pyright Python ⭐ 126

Python command line wrapper for pyright, a static type checker

dependent packages 233total releases 131most recent commit 3 months ago

Infrared ⭐ 42

:sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.

dependent packages 2total releases 1most recent commit 3 years ago

Libcspm ⭐ 30

The library FDR3 uses for parsing, type checking and evaluating machine CSP.

total releases 6most recent commit a year ago

Suggest An Alternative To pyright-python

Alternative Project Comparisons

Pyright Python vs Infrared

Pyright Python vs Libcspm

Popular Type Checking Projects

Closure Compiler ⭐ 7,175

A JavaScript checker and optimizer.

dependent packages 180total releases 135latest release November 13, 2023most recent commit 3 months ago

Ts Toolbelt ⭐ 6,011

👷 TypeScript's largest type utility library

dependent packages 973total releases 928latest release March 10, 2021most recent commit a year ago

Ow ⭐ 3,740

Function argument validation for humans

dependent packages 457total releases 44latest release January 26, 2023most recent commit 10 months ago

Thinc ⭐ 2,774

🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

dependent packages 67total releases 229latest release September 22, 2023most recent commit 3 months ago

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

Popular Command Line Projects

Ohmyzsh ⭐ 168,547

🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

dependent packages 5total releases 1latest release December 07, 2014most recent commit 2 days ago

The Art Of Command Line ⭐ 142,328

Master the command line, in one page

most recent commit 4 months ago

Terminal ⭐ 93,043

The new Windows Terminal and the original Windows console host, all in the same place!

total releases 1latest release November 20, 2022most recent commit a month ago

Thefuck ⭐ 81,037

Magnificent app which corrects your previous console command.

dependent packages 9total releases 101latest release January 02, 2022most recent commit 3 months ago

Fzf ⭐ 57,036

:cherry_blossom: A command-line fuzzy finder

dependent packages 11total releases 63latest release November 30, 2023most recent commit 3 months ago

Popular Compilers Categories