34 results found Sort:

millsp
ts-toolbelt millsp
148
6.8k
apache-2.0
30
👷 TypeScript's largest type utility library
types safety utility typescript type-safety dynamic-types type-checking type-utilities typescript-library
Created 2019-06-08
1,962 commits to master branch, last one 3 years ago
sindresorhus
ow sindresorhus
106
3.8k
mit
21
Function argument validation for humans
nodejs javascript validation npm-package type-checking
Created 2017-09-29
243 commits to main branch, last one 7 months ago
sdiehl
write-you-a-haskell sdiehl
254
3.4k
mit
191
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
book type haskel compiler pdf-book evaluation type-system type-theory type-checking hindley-milner type-inference lambda-calculus functional-language functional-programming intermediate-representation
Created 2015-01-05
299 commits to master branch, last one 7 years ago
explosion
thinc explosion
277
2.8k
mit
79
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
ai jax nlp mxnet spacy python pytorch tensorflow deep-learning type-checking machine-learning functional-programming artificial-intelligence machine-learning-library natural-language-processing
Created 2014-10-16
5,345 commits to main branch, last one 10 days ago
teal-language
tl teal-language
111
2.2k
mit
46
The compiler for Teal, a typed dialect of Lua
lua teal compiler type-checking
Created 2019-02-02
1,442 commits to master branch, last one 3 days ago
ruby
rbs ruby
217
2.0k
other
57
Type Signature for Ruby
ruby type-checking
Created 2019-03-10
5,332 commits to master branch, last one 2 days ago
jasmcaus
caer jasmcaus
102
778
mit
20
High-performance Vision library in Python. Scale your research, not boilerplate.
ai gpu caer cuda opencv python vision augmentation data-science segmentation deep-learning type-checking neural-network computer-vision image-processing machine-learning video-processing image-segmentation image-classification artificial-intelligence
Created 2020-08-06
5,080 commits to dev branch, last one about a year ago
johnthagen
python-blueprint johnthagen
85
583
mit
17
🐍 Example Python project using best practices 🥇
nox mypy ruff docker mkdocs pytest python linting pycharm coverage python-3 containers type-hints python-poetry type-checking mkdocs-material
Created 2018-11-10
412 commits to main branch, last one about a month ago
msz
hammox msz
28
566
apache-2.0
3
🏝 automated contract testing via type checking for Elixir functions and mocks
mox mock mocks elixir testing contract dialyzer typespec behaviour contracts typespecs behaviours typechecker type-checker typechecking unit-testing type-checking contract-testing behaviour-typespec explicit-contracts
Created 2019-06-29
315 commits to master branch, last one about a year ago
Qqwy
elixir-type_check Qqwy
25
522
mit
10
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
elixir-lang hacktoberfest type-checking metaprogramming property-based-testing
Created 2020-06-22
833 commits to main branch, last one 2 months ago
sylvainpolletvillard
ObjectModel sylvainpolletvillard
28
467
mit
12
Strong Dynamically Typed Object Modeling for JavaScript
model strong typing dynamic structure javascript composition type-checking
Created 2015-01-11
894 commits to master branch, last one 2 months ago
dropbox
mypy-PyCharm-plugin dropbox
14
314
apache-2.0
21
A simple plugin that allows running mypy from PyCharm and navigate between errors
mypy types python typing pycharm type-checking
Created 2018-05-29
35 commits to master branch, last one 5 years ago
xodio
hm-def xodio
11
198
mit
8
Runtime type checking for JS with Hindley Milner signatures
invariant javascript type-checking hindley-milner functional-programming
Created 2017-02-17
86 commits to master branch, last one 5 years ago
mesqueeb
is-what mesqueeb
20
187
mit
2
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
get-type is-object what-type check-type javascript type-check typescript define-type typechecker is-plain-obj plain-object type-checker plain-objects type-checking class-instance is-plain-object javascript-type primitive-types class-identifier
Created 2018-06-19
233 commits to main branch, last one 6 months ago
ilya-klyuchnikov
tapl-scala ilya-klyuchnikov
22
177
unknown
8
Code from the book "Types and Programming Languages" in Scala
tapl type-checking type-inference programming-languages
Created 2012-02-03
77 commits to master branch, last one 3 years ago
Josverl
micropython-stubs Josverl
23
169
mit
7
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
mypy pylint vscode pylance pyright pyscript mypy-stubs type-stubs micropython pycharm-ide static-typing type-checking awesome-micropython
Created 2020-10-17
2,220 commits to main branch, last one 21 hours ago
Benjamin-Dobell
IntelliJ-Luanalysis Benjamin-Dobell
22
157
apache-2.0
7
Type-safe Lua IDE — IntelliJ IDEA plugin
lua lua-ide intellij lua-plugin luanalysis type-checking intellij-plugin static-analysis
Created 2020-01-04
3,157 commits to master branch, last one about a year ago
eugeneyan
python-collab-template eugeneyan
41
144
unknown
5
🛠 Python project template with unit tests, code coverage, linting, type checking, Makefile wrapper, and GitHub Actions.
python linting coverage makefile unit-testing hacktoberfest type-checking github-actions
Created 2020-06-21
14 commits to master branch, last one 2 years ago
ambv
retype ambv
18
141
mit
7
Re-apply type annotations from .pyi stubs to your codebase.
mypy stubs pep484 python typing python2 python3 type-checking
Created 2017-03-11
109 commits to main branch, last one 2 years ago
python
mypy_extensions python
35
133
other
16
Extensions for mypy
mypy mypyc type-checking
Created 2019-01-14
61 commits to master branch, last one 6 months ago
bazel-contrib
bazel-mypy-integration bazel-contrib
44
123
mit
6
🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds
mypy bazel python type-checking
Created 2019-11-27
187 commits to main branch, last one 2 months ago
vitalets
babel-plugin-runtyper vitalets
4
116
unknown
6
⚡️ Runtime type-checker for JavaScript
babel type-hints type-safety babel-plugin type-checking runtime-code-analysis
Created 2017-03-27
189 commits to master branch, last one 5 years ago
andrew-johnson-4
LSTS andrew-johnson-4
3
114
mit
3
Large Scale Type Systems (programming language)
ast lint lsts rust lexer parser compiler type-checking theorem-prover category-theory dependent-types error-reporting lambda-calculus proof-assistant refinement-types assisted-reasoning programming-language lambda-calculus-interpreter
Created 2021-09-10
1,422 commits to main branch, last one 19 days ago
FelixTheC
strongtyping FelixTheC
3
111
unknown
6
Decorator which checks whether the function is called with the correct type of parameters.
python property decorator typechecking setter-getter type-checking runtime-checking typing-decorator docstring-checker
Created 2020-05-01
209 commits to main branch, last one 14 days ago
GJDuck
EffectiveSan GJDuck
20
100
unknown
11
Runtime type and bounds-error checking for C/C++
llvm security sanitizer memory-safety type-checking bounds-checking low-fat-pointers
Created 2018-02-27
25 commits to master branch, last one 3 days ago
sapphiredev
shapeshift sapphiredev
13
96
mit
5
Blazing fast input validation and transformation ⚡
ow zod schema checking validation hacktoberfest type-checking type-validation input-validation runtime-validation
Created 2021-12-10
497 commits to main branch, last one 6 days ago
typeis
typeis typeis
13
93
unknown
4
Typeis. it's the smart and simple javaScript type checker
simple typeis typeof javascript type-checker type-checking
Created 2016-10-17
28 commits to master branch, last one 7 years ago
orsinium-labs
infer-types orsinium-labs
6
86
mit
3
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
mypy python pytype typing python3 pyannotate annotations type-checking code-formatter type-inference code-generation static-analysis type-annotations
Created 2022-08-08
82 commits to master branch, last one about a year ago
MaxDesiatov
Typology MaxDesiatov
5
81
apache-2.0
6
Swift type checking and semantic analysis for developer tools
swift type-system type-checker type-checking hindley-milner type-inference developer-tools semantic-analysis semantic-analyzer
Created 2019-04-18
91 commits to main branch, last one 2 years ago
skarab42
vite-plugin-vitest-typescript-assert skarab42
1
79
mit
2
🔥 TypeScript type assertion plugin for vitest
test vite assert expect vitest assertion type-check typescript type-checking
Created 2022-07-13
56 commits to main branch, last one 2 years ago