#
typechecking
Here are 51 public repositories matching this topic...
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
-
Updated
Feb 28, 2022 - Elixir
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
-
Updated
Dec 19, 2021 - Python
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
-
Updated
Mar 18, 2022 - Scala
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
-
Updated
Mar 3, 2022 - Python
SebastianMestre
commented
Mar 8, 2022
While working on #300, I noticed that (after the fix is applied) the error messages display end-of-file as being on column 1 of line 1. This is probably caused by EOF token being created without relevant lexer context.
I took a quick look, and I think this is the relevant code:
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
-
Updated
Mar 18, 2022 - Python
A webpack plugin allowing to call Flow type checker.
-
Updated
Mar 1, 2019 - JavaScript
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
-
Updated
Apr 19, 2021 - Python
Webpack support for validating TypeScript definitions at runtime.
-
Updated
Feb 11, 2022 - TypeScript
language verification, construction, and analysis
language
programming-language
parsing
typechecking
denotational-semantics
language-workbench
pretty-printing
-
Updated
Feb 28, 2022 - OCaml
Checks if JavaScript variable is strictly a number
-
Updated
Mar 11, 2022 - JavaScript
Common predicates for validating objects
-
Updated
Nov 3, 2021 - JavaScript
Python command line wrapper for pyright, a static type checker
-
Updated
Mar 16, 2022 - Python
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
-
Updated
Mar 9, 2021 - Python
language
programming-language
benchmark
haskell
system
test
semantics
lambda-calculus
type
typechecking
-
Updated
Dec 12, 2021 - Haskell
A minimal type checking library that I need in various projects for safer programming
-
Updated
Jan 15, 2022 - TypeScript
Type Checking for AutoHotkey
-
Updated
Nov 26, 2021 - AutoHotkey
Python package to parse user's input to ensure it is valid, and provide helpful error messages if not.
-
Updated
Jan 21, 2022 - Python
Super-simple type checkers
-
Updated
Mar 16, 2022 - TypeScript
Runtime type checking for TypeScript
-
Updated
Jan 24, 2022 - TypeScript
Simple, agile, map schema in elixir with type checking, custom types with casting and validation and with json encoding
-
Updated
Dec 30, 2020 - Elixir
An R 📦 to insert function argument and return type contracts
-
Updated
Mar 9, 2022 - C++
Structural type checking for Python
-
Updated
Nov 6, 2015 - Python
Runtime type checking against composable schemas
-
Updated
Jul 25, 2017 - JavaScript
Describe processes in terms of type transformations, with inference that supports subtyping and parametric polymorphism. Create and query corresponding graphs.
workflow
semantic
query
algebra
graph
tool
sparql
rdf
declarative
inference
semantic-web
constraint
type
polymorphism
transformation
abstract
subtype
typechecking
subsumption
-
Updated
Mar 18, 2022 - Python
Source code of live demo for "@ts-check", an awesome feature from TypeScript for static type checking of your Vanilla JS
-
Updated
Feb 12, 2022 - JavaScript
A GitHub Action which typechecks and lints all Dhall files in a repository.
-
Updated
Dec 8, 2021 - Dhall
Collection of small javascript type check functions.
-
Updated
Aug 27, 2019 - JavaScript
Improve this page
Add a description, image, and links to the typechecking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typechecking topic, visit your repo's landing page and select "manage topics."
With Closure Compiler v20210106 and the following flags:
This works fine: