type-checking

Star

Here are 163 public repositories matching this topic...

millsp / ts-toolbelt

Sponsor

Star

👷 TypeScript's largest type utility library

utility typescript types typescript-library dynamic-types safety type-safety type-checking type-utilities

Updated Sep 7, 2022
TypeScript

sindresorhus / ow

Sponsor

Star

Function argument validation for humans

nodejs javascript validation npm-package type-checking

Updated Aug 22, 2022
TypeScript

sdiehl / write-you-a-haskell

Star

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

compiler functional-programming book lambda-calculus evaluation type-theory type pdf-book type-checking haskel type-system functional-language hindley-milner type-inference intermediate-representation

Updated Jan 11, 2021
Haskell

explosion / thinc

Star

🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

python nlp machine-learning natural-language-processing ai deep-learning mxnet functional-programming tensorflow pytorch artificial-intelligence spacy machine-learning-library type-checking jax

Updated Sep 7, 2022
Python

ruby / rbs

Star

Type Signature for Ruby

ruby type-checking

Updated Sep 7, 2022
Ruby

teal-language / tl

Star

The compiler for Teal, a typed dialect of Lua

lua compiler type-checking teal

Updated Sep 5, 2022
Lua

jasmcaus / caer

Star

High-performance Vision library in Python. Scale your research, not boilerplate.

Updated Oct 13, 2021
Python

msz / hammox

Star

🏝 automated contract testing via type checking for Elixir functions and mocks

Updated Sep 5, 2022
Elixir

sylvainpolletvillard / ObjectModel

Star

Strong Dynamically Typed Object Modeling for JavaScript

javascript dynamic model structure composition typing type-checking strong

Updated Jul 21, 2022
JavaScript

Qqwy / elixir-type_check

Star

TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

metaprogramming property-based-testing elixir-lang type-checking

Updated Sep 2, 2022
Elixir

dropbox / mypy-PyCharm-plugin

Star

A simple plugin that allows running mypy from PyCharm and navigate between errors

python types typing pycharm type-checking mypy

Updated Jun 23, 2021
Java

philbooth / check-types.js

Star

MOVED TO GITLAB

types assertions assert predicates type-checking duck-typing

Updated Jan 8, 2018
JavaScript

xodio / hm-def

Star

Runtime type checking for JS with Hindley Milner signatures

javascript functional-programming type-checking invariant hindley-milner

Updated Feb 12, 2022
JavaScript

ilya-klyuchnikov / tapl-scala

Star

Code from the book "Types and Programming Languages" in Scala

programming-languages tapl type-checking type-inference

Updated Oct 22, 2021
Scala

cs-au-dk / TAJS

Star

Type Analyzer for JavaScript

javascript static-code-analysis static-analyzer program-analysis type-checking

Updated Jul 18, 2020
Java

ambv / retype

Star

Re-apply type annotations from .pyi stubs to your codebase.

python typing python3 stubs type-checking python2 mypy pep484

Updated Aug 14, 2022
Python

eugeneyan / python-collab-template

Star

🛠 Python project template with unit tests, code coverage, linting, type checking, Makefile wrapper, and GitHub Actions.

python unit-testing coverage linting makefile type-checking hacktoberfest github-actions

Updated Jul 3, 2022
Python

vitalets / babel-plugin-runtyper

Star

⚡️ Runtime type-checker for JavaScript

babel babel-plugin type-safety type-checking type-hints runtime-code-analysis

Updated Mar 2, 2022
JavaScript

Benjamin-Dobell / IntelliJ-Luanalysis

Sponsor

Star

Type-safe Lua IDE Plugin for IntelliJ IDEA

lua intellij static-analysis intellij-plugin type-checking lua-ide lua-plugin luanalysis

Updated Aug 10, 2022
Kotlin

typeis / typeis

Star

Typeis. it's the smart and simple javaScript type checker

javascript simple typeof type-checking type-checker typeis

Updated Jul 28, 2021
JavaScript

Improve this page

Add a description, image, and links to the type-checking topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the type-checking topic, visit your repo's landing page and select "manage topics."

Learn more