TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
Updated
Nov 3, 2026 - Go
#
typechecker
Here are 158 public repositories matching this topic...
A fast type checker and language server for Python
python rust typechecker types language-server ide language-server-protocol typing vscode-extension code-quality type-annotations type-hints typecheck typechecking type-checker lsp type-check
-
Updated
Nov 3, 2026 - Rust
Performant type-checking for python.
python security typechecker static-analysis ocaml control-flow-analysis code-quality program-analysis taint-analysis abstract-interpretation type-check
-
Updated
Jun 26, 2026 - OCaml
A static type analyzer for Python code
-
Updated
Mar 16, 2026 - Python
A correct and efficient TypeScript type checker and compiler with additional experiments
-
Updated
Oct 9, 2026 - Rust
blazing fast Vue.js toolchain. compiler, linter, type checker, formatter, lsp, story system, editors. already 30k+ tests.
toolchain parser typechecker vuejs performance vue compiler jsx linter vapor storybook sfc tsx semantic-analysis lsp editor-extension
-
Updated
Nov 3, 2026 - Rust
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
-
Updated
Jun 24, 2026 - F#
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
programming-language rust typechecker dependent-types compiler type-theory systems-language type-system systems-programming bidirectional-typechecking dependent-record-types dependent-records
-
Updated
May 16, 2021 - Rust
🏝 automated contract testing via type checking for Elixir functions and mocks
testing mock unit-testing typechecker elixir contract behaviour contracts type-checking mocks contract-testing behaviours typechecking dialyzer mox type-checker typespec behaviour-typespec typespecs explicit-contracts
-
Updated
Sep 14, 2026 - Elixir
Python 3.5+ runtime type checking for integration testing and data validation
-
Updated
Jun 2, 2024 - Python
Runtime Type Checks for TypeScript
-
Updated
Feb 13, 2026 - TypeScript
A Python type checker
-
Updated
Jan 27, 2026 - Python
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
javascript typechecker typescript class-instance type-checking primitive-types plain-objects is-object type-checker type-check is-plain-obj plain-object check-type javascript-type class-identifier define-type get-type what-type is-plain-object
-
Updated
Sep 30, 2026 - TypeScript
TypeScript & Go inspired small interpreted programming language written in C#. The interpreter built with DDD principles and Clean Architecture. Implementation powered by Source Generators
javascript language golang typechecker typescript interpreter csharp parsing compiler dotnet ddd clean-architecture codegen compiler-design csharp-sourcegenerator
-
Updated
Sep 28, 2026 - C#
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
language typechecker parse model ocaml theorem-proving ocaml-library functor tptp atp smt-lib flexible-parsers
-
Updated
Nov 2, 2026 - OCaml
🐍 The Mamba programming language, because we care about safety
-
Updated
Oct 3, 2026 - Rust
Add this topic to your repo
To associate your repository with the typechecker topic, visit your repo's landing page and select "manage topics."