Movatterモバイル変換

Skip to content

#

typechecking

Here are 74 public repositories matching this topic...

Language:All

Filter by language

All74 Python17 JavaScript16 TypeScript11 Java6 Rust4 OCaml3 C++2 Elixir2 Haskell2 Ruby2

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

google /closure-compiler

A JavaScript checker and optimizer.

javascript optimization closure-compiler typechecking

UpdatedMar 18, 2025
Java

rustedpy /result

NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.

python rust functional-programming python3 type-safety strongly-typed mypy railway-oriented-programming typechecking

UpdatedAug 19, 2024
Python

msz /hammox

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

testing mock unit-testing typechecker elixir contract behaviour contracts type-checking mocks contract-testing behaviours typechecking dialyzer mox type-checker typespec behaviour-typespec typespecs explicit-contracts

UpdatedNov 30, 2023
Elixir

brendanzab /language-garden

A garden of small programming language implementations 🪴

dependent-types programming-languages compilers l-systems elaboration compilation typechecking language-garden

UpdatedMar 17, 2025
OCaml

RobertCraigie /pyright-python

Python command line wrapper for pyright, a static type checker

python cli pip typechecking

UpdatedMar 2, 2025
Python

Stewori /pytypes

Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.

python override type-hints typechecking pep484 runtime-typechecking

UpdatedApr 29, 2023
Python

coulomb

erikerlandson /coulomb

coulomb: unit analysis for Scala

scala typelevel configuration numeric units-of-measure configuration-management unit-analysis unit-conversion static-types dimensional-analysis units typeclass type-safety avro-schema typechecking pureconfig refined unit-quantity

UpdatedSep 28, 2024
Scala

FelixTheC /strongtyping

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 typing-decorator

UpdatedJan 5, 2025
Python

davidfstr /trycast

trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.

python typechecker validation parsing typing typechecking runtime-typechecking

UpdatedAug 3, 2024
Python

SebastianMestre /Jasper

A programming language. Static types. Full type inference. Garbage collection. --- not stable

programming-language parsing cpp14 jasper typechecking

UpdatedJul 7, 2024
C++

smarie /python-autoclass

A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts on the generated setters. Its objective is to reduce the amount of copy/paste code in your classes - and hence to help reducing human mistakes :).

boilerplate code-generator class property properties attribute constructor fields contracts auto enforce setter type-hints typechecking pep484 getter runtime-typechecking autoargs autoprops attr

UpdatedApr 19, 2021
Python

happylynx /flow-webpack-plugin

A webpack plugin allowing to call Flow type checker.

flow webpack-plugin flowtype typechecking

UpdatedMar 1, 2019
JavaScript

py-cachify

EzyGang /py-cachify

Caching and distributed locks in your applications with just one or two lines. Easy to learn. Fast to code.

python redis caching sync async cache decorators lock locks python3 locking pickle typechecking cachify locking-library

UpdatedMar 3, 2025
Python

spotify /ts-interface-loader

Webpack support for validating TypeScript definitions at runtime.

typescript webpack webpack-loader typechecking

UpdatedJan 3, 2023
TypeScript

joelburget /lvca

language verification, construction, and analysis

language programming-language parsing typechecking denotational-semantics language-workbench pretty-printing

UpdatedApr 2, 2022
OCaml

SeanCannon /prettycats

Common predicates for validating objects

validation curried predicates typechecking

UpdatedMay 19, 2023
JavaScript

avanov /typeit

Infer Python types from JSON data, use them for auto serialisation and parsing

python serialization parser json parsing typing python3 deserialization structured-data mypy typechecking colander pyrsistent

UpdatedOct 27, 2023
Python

michallepicki /tibe

Ahnfelt's Type Inference by Example but implemented in Gleam

types type-inference typechecking gleam

UpdatedJul 28, 2023
Gleam

Drag13 /IsNumberStrict

Checks if JavaScript variable is a number. Strings are not allowed.

javascript library npm-package numbers number typecheck typechecking isnumber

UpdatedJan 27, 2023
JavaScript

aradarbel10 /Styff

A functional programming language based on system F (omega) ft. NbE and higher order unification

programming-language compiler pattern-matching ocaml functional-language type-inference typechecking system-f system-f-omega gadts

UpdatedMay 12, 2023
OCaml

Improve this page

Add a description, image, and links to thetypechecking 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 thetypechecking topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp