Topic: "type-checking"
millsp/ts-toolbelt
👷 TypeScript's largest type utility library
Language: TypeScript - Size: 38.2 MB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 6,733 - Forks: 148
sindresorhus/ow
Function argument validation for humans
Language: TypeScript - Size: 1.36 MB - Last synced at: about 21 hours ago - Pushed at: 12 months ago - Stars: 3,819 - Forks: 106
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Language: Haskell - Size: 938 KB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 3,375 - Forks: 256
explosion/thinc
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
Language: Python - Size: 10.6 MB - Last synced at: 1 day ago - Pushed at: 17 days ago - Stars: 2,843 - Forks: 280
teal-language/tl
The compiler for Teal, a typed dialect of Lua
Language: Lua - Size: 5.65 MB - Last synced at: 10 days ago - Pushed at: 13 days ago - Stars: 2,331 - Forks: 120
ruby/rbs
Type Signature for Ruby
Language: Ruby - Size: 10.5 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 2,027 - Forks: 219
jasmcaus/caer
High-performance Vision library in Python. Scale your research, not boilerplate.
Language: Python - Size: 247 MB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 787 - Forks: 103
johnthagen/python-blueprint
🐍 Example Python project using best practices 🥇
Language: Python - Size: 2.17 MB - Last synced at: 7 days ago - Pushed at: 10 days ago - Stars: 626 - Forks: 91
msz/hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
Language: Elixir - Size: 333 KB - Last synced at: 11 days ago - Pushed at: over 1 year ago - Stars: 577 - Forks: 29
Qqwy/elixir-type_check
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Language: Elixir - Size: 1.43 MB - Last synced at: 11 months ago - Pushed at: almost 2 years ago - Stars: 511 - Forks: 23
sylvainpolletvillard/ObjectModel
Strong Dynamically Typed Object Modeling for JavaScript
Language: JavaScript - Size: 5.3 MB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 472 - Forks: 28
dropbox/mypy-PyCharm-plugin
A simple plugin that allows running mypy from PyCharm and navigate between errors
Language: Java - Size: 1.01 MB - Last synced at: 11 days ago - Pushed at: almost 4 years ago - Stars: 316 - Forks: 14
philbooth/check-types.js 📦
MOVED TO GITLAB
Language: JavaScript - Size: 589 KB - Last synced at: 11 days ago - Pushed at: over 7 years ago - Stars: 226 - Forks: 32
Josverl/micropython-stubs
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
Language: Python - Size: 56.9 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 205 - Forks: 24
xodio/hm-def
Runtime type checking for JS with Hindley Milner signatures
Language: JavaScript - Size: 759 KB - Last synced at: 11 days ago - Pushed at: over 2 years ago - Stars: 198 - Forks: 11
mesqueeb/is-what
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
Language: TypeScript - Size: 1.38 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 194 - Forks: 20
cs-au-dk/TAJS 📦
Type Analyzer for JavaScript
Language: Java - Size: 76.2 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 194 - Forks: 40
ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
Language: Scala - Size: 646 KB - Last synced at: 13 days ago - Pushed at: over 3 years ago - Stars: 179 - Forks: 22
Benjamin-Dobell/IntelliJ-Luanalysis
Type-safe Lua IDE — IntelliJ IDEA plugin
Language: Kotlin - Size: 28.6 MB - Last synced at: 15 days ago - Pushed at: over 1 year ago - Stars: 159 - Forks: 22
eugeneyan/python-collab-template
🛠 Python project template with unit tests, code coverage, linting, type checking, Makefile wrapper, and GitHub Actions.
Language: Python - Size: 43.9 KB - Last synced at: 14 days ago - Pushed at: about 1 year ago - Stars: 145 - Forks: 42
ambv/retype
Re-apply type annotations from .pyi stubs to your codebase.
Language: Python - Size: 154 KB - Last synced at: 13 days ago - Pushed at: over 2 years ago - Stars: 142 - Forks: 18
python/mypy_extensions
Extensions for mypy
Language: Python - Size: 53.7 KB - Last synced at: about 5 hours ago - Pushed at: 23 days ago - Stars: 139 - Forks: 34
bazel-contrib/bazel-mypy-integration
🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds
Language: Starlark - Size: 199 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 125 - Forks: 44
andrew-johnson-4/LSTS
Large Scale Type Systems (programming language)
Size: 1.21 MB - Last synced at: 8 days ago - Pushed at: 3 months ago - Stars: 121 - Forks: 3
vitalets/babel-plugin-runtyper
⚡️ Runtime type-checker for JavaScript
Language: JavaScript - Size: 1.32 MB - Last synced at: 13 days ago - Pushed at: over 2 years ago - Stars: 117 - Forks: 4
FelixTheC/strongtyping
Decorator which checks whether the function is called with the correct type of parameters.
Language: Python - Size: 405 KB - Last synced at: 9 days ago - Pushed at: 4 months ago - Stars: 110 - Forks: 3
GJDuck/EffectiveSan
Runtime type and bounds-error checking for C/C++
Language: C++ - Size: 51.8 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 101 - Forks: 20
sapphiredev/shapeshift
Blazing fast input validation and transformation ⚡
Language: TypeScript - Size: 20.1 MB - Last synced at: 10 days ago - Pushed at: 15 days ago - Stars: 97 - Forks: 13
typeis/typeis
Typeis. it's the smart and simple javaScript type checker
Language: JavaScript - Size: 87.9 KB - Last synced at: 10 days ago - Pushed at: over 3 years ago - Stars: 93 - Forks: 12
orsinium-labs/infer-types
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
Language: Python - Size: 62.5 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 89 - Forks: 5
wookieb/predicates
Predicates for type checking, assertions, filtering etc
Language: TypeScript - Size: 357 KB - Last synced at: 14 days ago - Pushed at: almost 6 years ago - Stars: 89 - Forks: 1
MaxDesiatov/Typology
Swift type checking and semantic analysis for developer tools
Language: Swift - Size: 186 KB - Last synced at: 1 day ago - Pushed at: about 3 years ago - Stars: 81 - Forks: 5
vitorsvieira/dilate
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Language: Scala - Size: 186 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 81 - Forks: 5
skarab42/vite-plugin-vitest-typescript-assert
🔥 TypeScript type assertion plugin for vitest
Language: TypeScript - Size: 473 KB - Last synced at: 16 days ago - Pushed at: over 1 year ago - Stars: 79 - Forks: 1
OmgImAlexis/upcast
A JavaScript type checking/casting library
Language: JavaScript - Size: 429 KB - Last synced at: 8 days ago - Pushed at: over 4 years ago - Stars: 74 - Forks: 7
PyCQA/flake8-pyi
A plugin for Flake8 that provides specializations for type hinting stub files
Language: Python - Size: 573 KB - Last synced at: 8 days ago - Pushed at: 13 days ago - Stars: 73 - Forks: 23
kakasoo/DeepStrictTypes
Utility Types to quickly query and Omit, Pick keys inside nested arrays and objects
Language: TypeScript - Size: 265 KB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 48 - Forks: 1
nickzuber/infrared
:sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.
Language: OCaml - Size: 2.32 MB - Last synced at: 7 days ago - Pushed at: almost 4 years ago - Stars: 47 - Forks: 2
kudu-dynamics/blaze-platform
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
Language: Haskell - Size: 6.25 MB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 46 - Forks: 5
Tomperez98/pyrgo
Python project manager inspired in Cargo.
Language: Python - Size: 194 KB - Last synced at: 23 days ago - Pushed at: about 1 year ago - Stars: 43 - Forks: 3
serradura/kind
A development toolkit for Ruby with several small/cohesive abstractions to empower your development workflow - It's totally free of dependencies.
Language: Ruby - Size: 425 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 40 - Forks: 5
skius/progge.rs
Program analysis playground for a simple, imperative language
Language: Rust - Size: 414 KB - Last synced at: 17 days ago - Pushed at: almost 3 years ago - Stars: 36 - Forks: 0
LionelAuroux/pyrser
A PEG Parsing Tool
Language: Python - Size: 2.25 MB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 36 - Forks: 8
Shopify/rbi
RBI generation framework
Language: Ruby - Size: 3.1 MB - Last synced at: about 11 hours ago - Pushed at: 6 days ago - Stars: 32 - Forks: 10
JetBrains/mps-coderules
Type checking and logical inference for JetBrains MPS
Language: JetBrains MPS - Size: 98.5 MB - Last synced at: 15 days ago - Pushed at: 5 months ago - Stars: 32 - Forks: 5
dsheiko/bycontract
Argument validation library based on JSDOC syntax
Language: JavaScript - Size: 1.51 MB - Last synced at: 14 days ago - Pushed at: 25 days ago - Stars: 31 - Forks: 6
kawmra/typist-json
A simple runtime JSON type checker.
Language: TypeScript - Size: 439 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 25 - Forks: 0
LostInDarkMath/pedantic-python-decorators
Some useful decorators for any situation. Includes runtime type checking.
Language: Python - Size: 977 KB - Last synced at: 24 days ago - Pushed at: about 2 months ago - Stars: 23 - Forks: 2
youtype/boto3-ide
Code auto-complete and type checking for AWS boto3 in your VSCode
Language: TypeScript - Size: 654 KB - Last synced at: 8 days ago - Pushed at: 11 months ago - Stars: 22 - Forks: 2
dcousens/typeforce
Another biased type checking solution for Javascript
Language: JavaScript - Size: 349 KB - Last synced at: 4 days ago - Pushed at: about 2 years ago - Stars: 22 - Forks: 24
arachnys/protostub
A tool for generating Mypy type stubs from a Protocol Buffer definition.
Language: Go - Size: 272 KB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 22 - Forks: 2
TheLartians/TypeScript2Python
🚃 Transpile TypeScript types to Python! A TypeScript to Python type transpiler.
Language: TypeScript - Size: 47.9 KB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 21 - Forks: 2
75lb/typical
Isomorphic, functional type-checking for Javascript
Language: JavaScript - Size: 275 KB - Last synced at: 6 months ago - Pushed at: 7 months ago - Stars: 21 - Forks: 4
decorator-factory/pyright-playground 📦
Try Pyright in your browser
Language: Python - Size: 237 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 21 - Forks: 0
laurentpayot/floweret 📦
Runtime type annotations for CoffeeScript (and JavaScript too!)
Language: CoffeeScript - Size: 1.14 MB - Last synced at: 11 days ago - Pushed at: over 3 years ago - Stars: 20 - Forks: 0
rsokl/phantom-tensors
Tensor-like types – with variadic shapes – that support both static and runtime type checking, and convenient parsing
Language: Python - Size: 158 KB - Last synced at: 6 days ago - Pushed at: 11 days ago - Stars: 18 - Forks: 2
serradura/type_validator
Adds type validation for classes with ActiveModel::Validations.
Language: Ruby - Size: 60.5 KB - Last synced at: 7 days ago - Pushed at: over 5 years ago - Stars: 17 - Forks: 1
thombashi/typepy
A Python library for variable type checker/validator/converter at a run time.
Language: Python - Size: 412 KB - Last synced at: 5 days ago - Pushed at: 4 months ago - Stars: 16 - Forks: 2
johansenja/typed_struct
Ruby structs but with type-checked attributes ⚡️🔐
Language: Ruby - Size: 24.4 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 15 - Forks: 1
brick-lang/kekka
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
Language: OCaml - Size: 138 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 0
brendanzab/elm-stlc
Bidirectional type checker for the simply typed lambda calculus
Language: Elm - Size: 15.6 KB - Last synced at: 11 days ago - Pushed at: about 5 years ago - Stars: 14 - Forks: 1
siadat/interface-type-check
Type check the empty interface{}
Language: Go - Size: 39.1 KB - Last synced at: about 14 hours ago - Pushed at: over 4 years ago - Stars: 13 - Forks: 1
vhfmag/tsguard.macro 📦
Babel macro that automatically generates type guards for a given type (WIP)
Language: JavaScript - Size: 93.8 KB - Last synced at: about 24 hours ago - Pushed at: about 6 years ago - Stars: 12 - Forks: 0
BookOwl/type-inference
Hindley Milner Type Inference in Rust
Language: Rust - Size: 57.6 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 11 - Forks: 3
thk2b/duck-check
A minimalist runtime type checking utility for duck typing
Language: JavaScript - Size: 175 KB - Last synced at: 26 days ago - Pushed at: about 7 years ago - Stars: 10 - Forks: 0
IGI-111/jack
A toy ML dialect
Language: Rust - Size: 91.8 KB - Last synced at: 7 days ago - Pushed at: about 4 years ago - Stars: 9 - Forks: 1
d-plaindoux/tyasta
A journey with F*
Language: F* - Size: 53.7 KB - Last synced at: 19 days ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 0
Shambles-Dev/AutoHotkey-Type_Checking
Type Checking for AutoHotkey
Language: AutoHotkey - Size: 8.79 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 8 - Forks: 1
gabriel-fallen/bidirectional-demo
A demo implementation of a simple bidirectional type-checker in Lean 4.
Language: Lean - Size: 3.91 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0
beartype/bearboto3 📦
Facilitates using beartype runtime type-checking with the AWS SDK.
Language: Python - Size: 561 KB - Last synced at: 8 months ago - Pushed at: almost 3 years ago - Stars: 7 - Forks: 0
lkster/Safetify
Value type safing utility
Language: TypeScript - Size: 599 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 2
daltonmenezes/what-type-is
:grey_question: A simple type checking library for Node.js
Language: JavaScript - Size: 36.1 KB - Last synced at: 12 days ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 1
robinspollak/LambdaCalculusInterpreters
Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.
Language: Haskell - Size: 3.1 MB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 7 - Forks: 1
moea/types
Type System Modeling in Clojure
Language: Clojure - Size: 50.8 KB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 6 - Forks: 0
lixhq/validex
Validex is a library for doing data validation in Elixir.
Language: Elixir - Size: 55.7 KB - Last synced at: 21 days ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 0
quantumlib/TypedUnits
A fast units and dimensions library with support for static dimensionality checking and protobuffer serialization.
Language: Python - Size: 680 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 5 - Forks: 3
garydavisonos/conditional-helpers
A collection of JS helper functions to be used in conditional logic within projects.
Language: TypeScript - Size: 83 KB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 5 - Forks: 2
javascript-studio/schema
🧩 Plain JavaScript objects with runtime type guarantees
Language: JavaScript - Size: 1.39 MB - Last synced at: 7 days ago - Pushed at: 3 months ago - Stars: 5 - Forks: 0
usethesource/typepal
TypePal is a framework for name analysis, type checking and type inference
Language: Rascal - Size: 2.07 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 5 - Forks: 4
rho-contracts/rho-contracts
Higher-order contracts and runtime schema checking for JavaScript
Language: JavaScript - Size: 752 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0
bynect/constraint-inference
OCaml implementation of a constraint-based bottom-up type inference algorithm
Language: OCaml - Size: 129 KB - Last synced at: 9 days ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0
ebresafegaga/tina
Tina, a programming language with typed algebraic effects and handlers.
Language: OCaml - Size: 8.9 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 1
gfyoung/py-validate
Function Wrappers to Validate Arguments and Return Types
Language: Python - Size: 103 KB - Last synced at: 15 days ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 0
azur1s/hm
A small type inference/checker for a small set of expressions
Language: Rust - Size: 17.6 KB - Last synced at: 8 days ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0
tzsk/vuex-store-validator
Validate Vuex Commits with Joi, Superstruct & Yup Schema.
Language: JavaScript - Size: 6.91 MB - Last synced at: 14 days ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 4
fisakov/fitch-system
Proof validation in Propositional Logic and its extensions with Jetbrains MPS and constraint rules
Size: 1.74 MB - Last synced at: 9 months ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 1
Noza23/dataserious
dataclasses enhanced with type validation and serialization
Language: Python - Size: 80.1 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 0
MilanStaffehl/numdantic
Typing support for numpy arrays and numpy array validation with pydantic.
Language: Python - Size: 105 KB - Last synced at: 1 day ago - Pushed at: 9 months ago - Stars: 3 - Forks: 0
ArcletProject/NEPattern
a complex pattern, support typing
Language: Python - Size: 242 KB - Last synced at: 7 months ago - Pushed at: 9 months ago - Stars: 3 - Forks: 0
SandeepKundalwal/Compiler-Design
[CS502: Compiler Design] Built Five Phases of Compiler - Parsing Trees, Semantic Analysis, Intermediate Code Generation, Live Variable Analysis, Register Allocation
Language: Java - Size: 1.84 MB - Last synced at: 24 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
rkaw92/want-type
a library for hassle-free input type validation in Node.js
Language: JavaScript - Size: 20.5 KB - Last synced at: about 15 hours ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0
loklaan/is-async-func
Check if a value is an async function, from ES2017 specification. Supports babel.
Language: JavaScript - Size: 245 KB - Last synced at: 10 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
georapbox/is-api
Tiny javascript library that you can extend with your own type checking methods.
Language: JavaScript - Size: 20.5 KB - Last synced at: 24 days ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0
studioph/bearboto3 📦
MOVED. Provides support for boto3 with beartype runtime type-checking.
Language: Python - Size: 356 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0
brocksam/pyproprop
Write classes with lots of similar simple defensive properties without the boilerplate
Language: Python - Size: 320 KB - Last synced at: 9 days ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
transitive-bullshit/ow-lite
Lightweight replacement for the ow validation library meant for browser usage.
Language: JavaScript - Size: 49.8 KB - Last synced at: 1 day ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 2
wearereasonablepeople/typisch
Set-theory based runtime type system
Size: 13.7 KB - Last synced at: 1 day ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0
eerkela/bertrand
flexible type extensions for pandas
Language: C++ - Size: 32.8 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 2 - Forks: 0
ternaus/google-docstring-parser
A Python package for parsing and validating Google-style docstrings with type hints. Converts docstrings into structured dictionaries and validates type annotations. Requires paid license for non-Albumentations Team users.
Language: Python - Size: 60.5 KB - Last synced at: 29 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0
dokutan/typed-fennel
Adding dynamic type checking to Fennel
Language: Fennel - Size: 18.6 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
