#

type-checking

Here are 111 public repositories matching this topic...

sindresorhus / ow

Star

Function argument validation for humans

nodejs javascript validation npm-package type-checking

Updated Aug 24, 2020
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 Oct 20, 2019
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 Aug 28, 2020
Python

ts-toolbelt

millsp / ts-toolbelt

Star

👷 Higher Type Safety for TypeScript

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

Updated Aug 28, 2020
TypeScript

ruby / rbs

Star

Open

Improve standard library signature coverage

6

soutaro commented Apr 18, 2019

We provide the signatures of a very limited number of standard library classes. We will really appreciate if you write the signature of other classes.

(Note that we are currently working for standard library signatures.)

Read more

good first issue

sylvainpolletvillard / ObjectModel

Star

Strong Dynamically Typed Object Modeling for JavaScript

javascript dynamic model structure composition typing type-checking strong

Updated Jul 16, 2020
JavaScript

teal-language / tl

Star

Open

Missing math.atan overload

luauser32167 commented Jun 10, 2020

The 2 argument overload of math.atan(y, [x]) is missing. There's a type definition for math.atan2 but it doesn't exist in PUC Lua 5.3+.

Read more

bug good first issue

Open

complete typing definitions of the Lua standard library

2

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 Nov 20, 2019
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 Jul 17, 2020
JavaScript

ilya-klyuchnikov / tapl-scala

Star

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

programming-languages tapl type-checking type-inference

Updated Apr 15, 2020
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

vitalets / babel-plugin-runtyper

Star

⚡️ Runtime type-checker for JavaScript

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

Updated Jul 29, 2020
JavaScript

typeis / typeis

Star

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

javascript simple typeof type-checking type-checker typeis

Updated Aug 24, 2020
JavaScript

ambv / retype

Star

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

python typing python3 stubs type-checking python2 mypy pep484

Updated Jan 10, 2020
Python

wookieb / predicates

Star

Predicates for type checking, assertions, filtering etc

typescript predicates type-checking filtering

Updated May 6, 2019
TypeScript

vitorsvieira / dilate

Star

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

scala ddd typelevel metaprogramming macros scala-macros type-safety type-checking scalameta ddd-patterns type-level-programming newtype funcional-programming

Updated Oct 19, 2017
Scala

OmgImAlexis / upcast

Star

A JavaScript type checking/casting library

converts types type type-checking upcast casting-library

Updated Mar 18, 2020
JavaScript

GJDuck / EffectiveSan

Star

Dynamically Typed C/C++

security llvm memory-safety type-checking sanitizer bounds-checking low-fat-pointers

Updated Jan 17, 2019
C++

MaxDesiatov / Typology

Star

Swift type checking and semantic analysis for developer tools

swift developer-tools type-checking type-system hindley-milner type-inference semantic-analysis type-checker semantic-analyzer

Updated Jul 3, 2020
Swift

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 Jul 22, 2020
Elixir

nickzuber / infrared

Star

✨

🚀 Blazing fast, configurable, inferred static type checker for JavaScript.

javascript cli fast productivity parser es6 compiler tool static-analysis type-checking configurable zero-configuration

Updated Dec 17, 2019
OCaml

thundergolfer / bazel-mypy-integration

Star

🐍

🌿

💚 Integrate MyPy type-checking into your Python Bazel builds

python bazel type-checking mypy

Updated Jul 19, 2020
Starlark

LionelAuroux / pyrser

Star

A PEG Parsing Tool

python parser tree parsing matching grammar typing parsing-expression-grammar type peg type-checking type-system type-checker tree-matching

Updated Apr 8, 2020
Python

FelixTheC / strongtyping

Star

Decorator which checks whether the function is called with the correct type of parameters.

python property decorator type-checking typechecking docstring-checker runtime-checking setter-getter

Updated Aug 23, 2020
Python

mesqueeb / is-what

Star

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 Aug 5, 2020
TypeScript

eugeneyan / python-collab-template

Star

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

python unit-testing linting type-checking github-actions

Updated Jun 27, 2020
Python

dcousens / typeforce

Star

Another biased type checking solution for Javascript

javascript schema types type-checking

Updated Apr 16, 2019
JavaScript

ambv / flake8-pyi

Star

A plugin for Flake8 that provides specializations for type hinting stub files

lint python linter stub-files typing linter-plugin flake8 type-checking mypy pep484

Updated May 13, 2020
Python

serradura / kind

Star

Open

Kind::Maybe.safe_wrap(input) { |input| input.do_something! }

serradura commented Jul 8, 2020

Create a method to build maybe objects which will avoid exceptions (returning Kind::None) if some error happened inside of the given block.

Read more

enhancement good first issue

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."

You can’t perform that action at this time.