#
typechecking
Here are 52 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
Jun 8, 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
May 28, 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
Jun 11, 2022 - Python
SebastianMestre
commented
Apr 27, 2021
It would be pretty cool to be able to write something like
ErrorReport err = match_identifiers(...);
if (!err.ok()) {
Log::fatal() << err;
}or like
auto err = make_located_error("undefined variable", location, ErrorLevel::Fatal);
err.print();and have it print [ Fatal Error ] At xx:xx -- undefined variable, followed by termination of the program.
good first issue
Good for newcomers
area - helpers
About one of the helper libraries in Jasper's implementation
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
-
Updated
Jun 11, 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
Apr 28, 2022 - TypeScript
language verification, construction, and analysis
language
programming-language
parsing
typechecking
denotational-semantics
language-workbench
pretty-printing
-
Updated
Apr 2, 2022 - OCaml
Python command line wrapper for pyright, a static type checker
-
Updated
Jun 13, 2022 - Python
Checks if JavaScript variable is a number. Strings are not allowed.
-
Updated
Apr 12, 2022 - JavaScript
Common predicates for validating objects
-
Updated
Mar 24, 2022 - JavaScript
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
Mar 21, 2022 - Haskell
A minimal type checking library that I need in various projects for safer programming
-
Updated
Mar 26, 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
Jun 15, 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
May 16, 2022 - C++
Structural type checking for Python
-
Updated
Nov 6, 2015 - Python
Runtime type checking against composable schemas
-
Updated
Jul 25, 2017 - JavaScript
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
Describe processes in terms of transformations, with type inference that supports subtypes 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
Jun 16, 2022 - Python
Type checking utilities for React elements.
react
utility
typechecker
library
typescript
utilities
libraries
reactjs
utils
react-component
react-components
typescript-library
utility-library
typecheck
typechecking
-
Updated
Jun 3, 2022 - TypeScript
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: