JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
-
Updated
Jun 5, 2024 - TypeScript
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
WIP: Python Type Checker and LSP 🔎
a non-opinionated JavaScript schema validator/duck-typing based runtime type detector
A fast static code analyzer & language server for Python
A work-in-progress core language for Agda, in Agda
An implementation of the mugda paper
A dependent type checker for lambda calculus.
Webpages of course Programming Language Technology
🧊 Модальний гомотопічний верифікатор математики
Type checking library for Javascript and Node.js to test if a given variable is what it is supposed to be
A JavaScript library that checks whether the value is of a specific type
Runtime Type Checker for Typescript
Toy typechecker and interpreter for the Mirage language.
🏝 automated contract testing via type checking for Elixir functions and mocks
🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).
Anders: Cubical Type Checker
❓ Collection of tiny type introspection helpers
Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.
To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."