#
typechecking
Here are 49 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
Feb 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
Jan 23, 2022 - Python
SebastianMestre
commented
Feb 17, 2022
fn __invoke() {
xs := array{1; 2; 3;};
i := 1;
return xs[i];
};
Makes the program crash in Value::get_integer. I used a hack to make asan give me a stack trace:
#0 0x55be6f608903 in Interpreter::Value::get_integer() src/interpreter/value.hpp:80
#1 0x55be6f604cec in Interpreter::eval(AST::IndexExpression*, Interpreter::Interpreter&) src/interpreter/eval.cpp:18
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
Feb 26, 2022 - JavaScript
Common predicates for validating objects
-
Updated
Nov 3, 2021 - JavaScript
Python command line wrapper for pyright, a static type checker
-
Updated
Feb 26, 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
A minimal type checking library that I need in various projects for safer programming
-
Updated
Jan 15, 2022 - TypeScript
language
programming-language
benchmark
haskell
system
test
semantics
lambda-calculus
type
typechecking
-
Updated
Dec 12, 2021 - Haskell
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
Runtime type checking for TypeScript
-
Updated
Jan 24, 2022 - TypeScript
Super-simple type checkers
-
Updated
Feb 23, 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
Sep 8, 2020 - 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 workflows and 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
Feb 24, 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
Feb 27, 2022 - TypeScript
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: