33 results found Sort:
- Filter by Primary Language:
- Python (11)
- TypeScript (5)
- JavaScript (4)
- Elixir (2)
- Haskell (2)
- Lua (1)
- Ruby (1)
- Rust (1)
- Scala (1)
- Starlark (1)
- Swift (1)
- C++ (1)
- Java (1)
- Kotlin (1)
- +
👷 TypeScript's largest type utility library
Created
2019-06-08
1,962 commits to master branch, last one 3 years ago
Function argument validation for humans
Created
2017-09-29
243 commits to main branch, last one 26 days ago
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Created
2015-01-05
299 commits to master branch, last one 7 years ago
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
Created
2014-10-16
5,324 commits to main branch, last one about a month ago
The compiler for Teal, a typed dialect of Lua
Created
2019-02-02
1,127 commits to master branch, last one 21 days ago
Type Signature for Ruby
Created
2019-03-10
4,669 commits to master branch, last one a day ago
High-performance Vision library in Python. Scale your research, not boilerplate.
Created
2020-08-06
5,080 commits to dev branch, last one about a year ago
🏝 automated contract testing via type checking for Elixir functions and mocks
Created
2019-06-29
315 commits to master branch, last one about a year ago
🐍 Example Python project using best practices 🥇
Created
2018-11-10
402 commits to main branch, last one 10 days ago
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Created
2020-06-22
809 commits to main branch, last one 11 months ago
Strong Dynamically Typed Object Modeling for JavaScript
Created
2015-01-11
883 commits to master branch, last one 17 days ago
A simple plugin that allows running mypy from PyCharm and navigate between errors
Created
2018-05-29
35 commits to master branch, last one 4 years ago
Runtime type checking for JS with Hindley Milner signatures
Created
2017-02-17
86 commits to master branch, last one 4 years ago
Code from the book "Types and Programming Languages" in Scala
Created
2012-02-03
77 commits to master branch, last one 2 years ago
Type-safe Lua IDE — IntelliJ IDEA plugin
Created
2020-01-04
3,157 commits to master branch, last one 6 months ago
Re-apply type annotations from .pyi stubs to your codebase.
Created
2017-03-11
109 commits to main branch, last one about a year ago
🛠 Python project template with unit tests, code coverage, linting, type checking, Makefile wrapper, and GitHub Actions.
Created
2020-06-21
14 commits to master branch, last one about a year ago
Extensions for mypy
Created
2019-01-14
60 commits to master branch, last one 8 months ago
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
Created
2018-06-19
223 commits to production branch, last one 8 days ago
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
Created
2020-10-17
1,947 commits to main branch, last one 3 days ago
⚡️ Runtime type-checker for JavaScript
Created
2017-03-27
189 commits to master branch, last one 5 years ago
🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds
Created
2019-11-27
180 commits to main branch, last one 2 days ago
Decorator which checks whether the function is called with the correct type of parameters.
Created
2020-05-01
204 commits to main branch, last one 10 days ago
Runtime type and bounds-error checking for C/C++
Created
2018-02-27
23 commits to master branch, last one about a year ago
Large Scale Type Systems (programming language)
Created
2021-09-10
1,376 commits to main branch, last one 2 months ago
Typeis. it's the smart and simple javaScript type checker
Created
2016-10-17
28 commits to master branch, last one 6 years ago
Blazing fast input validation and transformation ⚡
Created
2021-12-10
451 commits to main branch, last one 5 days ago
Swift type checking and semantic analysis for developer tools
Created
2019-04-18
91 commits to main branch, last one 2 years ago
🔥 TypeScript type assertion plugin for vitest
Created
2022-07-13
56 commits to main branch, last one about a year ago
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
Created
2022-08-08
82 commits to master branch, last one about a year ago