Open source repositories tagged with #typechecker, ranked by health score.
Blazing fast Vue.js Toolchain. Compiler, Linter, Type Checker, Formatter, LSP, Story System, Editor Extensions. This already passed 8500+ test suites, includes real world E2E.
🏝 automated contract testing via type checking for Elixir functions and mocks
