#typechecker (12 Repositories)
Ranked open-source repositories tagged with #typechecker, scored by pull request acceptance likelihood and maintainer engagement velocity.
19.8%
16.4h
12 repositories tagged #typechecker
ubugeeei-prod/vize
blazing fast Vue.js toolchain. compiler, linter, type checker, formatter, lsp, story system, editors. already 30k+ tests.
microsoft/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
soutaro/steep
Static type checker for Ruby
python/mypy
Optional static typing for Python
low-rb/low_type
Elegant types in Ruby
facebook/pyrefly
A fast type checker and language server for Python
msz/hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
facebook/pyre-check
Performant type-checking for python.
fabiandev/ts-runtime
Runtime Type Checks for TypeScript
fsprojects/Rezoom.SQL
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
kaleidawave/ezno
A correct and efficient TypeScript type checker and compiler with additional experiments
low-rb/lowtype
Elegant types in Ruby