facebook / pyrefly

A fast type checker and language server for Python

ubugeeei-prod / vize

blazing fast Vue.js toolchain. compiler, linter, type checker, formatter, lsp, story system, editors. already 30k+ tests.

kaleidawave / ezno

A correct and efficient TypeScript type checker and compiler with additional experiments