-
Updated
Aug 21, 2021 - TypeScript
#
type-checking
Here are 135 public repositories matching this topic...
Function argument validation for humans
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
compiler
functional-programming
book
lambda-calculus
evaluation
type-theory
type
pdf-book
type-checking
haskel
type-system
functional-language
hindley-milner
type-inference
intermediate-representation
-
Updated
Jan 11, 2021 - Haskell
utility
typescript
types
typescript-library
dynamic-types
safety
type-safety
type-checking
type-utilities
-
Updated
Jul 2, 2021 - TypeScript
python
nlp
machine-learning
natural-language-processing
ai
deep-learning
mxnet
functional-programming
tensorflow
pytorch
artificial-intelligence
spacy
machine-learning-library
type-checking
jax
-
Updated
Sep 3, 2021 - Python
1
nagolove
commented
Mar 31, 2021
Hi. I do not know is it real issue, but then my editor save BOM symbols in file(on Windows) Teal parser get error like this:
3 syntax errors:
sub\code2.tl:1:1: invalid token '∩'
sub\code2.tl:1:2: invalid token '╗'
sub\code2.tl:1:3: invalid token '┐'
jasmcaus
commented
Jan 23, 2021
There are quite a few functions in the repo that need to be annotated.
This issue will be left open for external contributions. If you wish to contribute, please submit a PR for the same!
Thanks!
-J
Strong Dynamically Typed Object Modeling for JavaScript
-
Updated
Jun 13, 2021 - JavaScript
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
Sep 2, 2021 - Elixir
MOVED TO GITLAB
-
Updated
Jan 8, 2018 - JavaScript
Runtime type checking for JS with Hindley Milner signatures
-
Updated
Sep 1, 2021 - JavaScript
Code from the book "Types and Programming Languages" in Scala
-
Updated
Aug 29, 2021 - Scala
Type Analyzer for JavaScript
-
Updated
Jul 18, 2020 - Java
-
Updated
Mar 29, 2021 - JavaScript
Typeis. it's the smart and simple javaScript type checker
-
Updated
Jul 28, 2021 - JavaScript
Predicates for type checking, assertions, filtering etc
-
Updated
May 6, 2019 - TypeScript
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
-
Updated
Jan 15, 2021 - Elixir
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
scala
ddd
typelevel
metaprogramming
macros
scala-macros
type-safety
type-checking
scalameta
ddd-patterns
type-level-programming
newtype
funcional-programming
-
Updated
Oct 19, 2017 - Scala
Runtime type and bounds-error checking for C/C++
-
Updated
Jan 17, 2019 - C++
A JavaScript type checking/casting library
-
Updated
Oct 29, 2020 - JavaScript
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
Sep 2, 2021 - Python
-
Updated
Oct 1, 2020 - Python
Swift type checking and semantic analysis for developer tools
swift
developer-tools
type-checking
type-system
hindley-milner
type-inference
semantic-analysis
type-checker
semantic-analyzer
-
Updated
Aug 10, 2021 - Swift
Type-safe Lua IDE Plugin for IntelliJ IDEA
-
Updated
Aug 21, 2021 - Kotlin
-
Updated
Aug 1, 2021 - Starlark
javascript
cli
fast
productivity
parser
es6
compiler
tool
static-analysis
type-checking
configurable
zero-configuration
-
Updated
May 8, 2021 - OCaml
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
javascript
typechecker
typescript
class-instance
type-checking
primitive-types
plain-objects
is-object
type-checker
type-check
is-plain-obj
plain-object
check-type
javascript-type
class-identifier
define-type
get-type
what-type
is-plain-object
-
Updated
Mar 8, 2021 - TypeScript
A development toolkit for Ruby with several small/cohesive abstractions to empower your development workflow - It's totally free of dependencies.
-
Updated
Aug 26, 2021 - Ruby
Improve this page
Add a description, image, and links to the type-checking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-checking topic, visit your repo's landing page and select "manage topics."
We provide the signatures of a very limited number of standard library classes. We will really appreciate if you write the signature of other classes.
(Note that we are currently working for standard library signatures.)