spectrum

Type checker

A tool that performs compile-time checks to catch type errors in Clojure code using Clojure.spec annotations.

GitHub
595 stars
40 watching
20 forks
Language: Clojure
last commit: over 3 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
aldanor/typo A package providing runtime type checking for Python functions annotated with argument type hints. 28
clojure/core.typed An optional type system for Clojure 1,289
agronholm/typeguard A runtime type checking library for Python functions with annotations 1,546
siddhuwarrier/python-typeutils A utility library that provides a type checking decorator for Python functions. 1
clojure/test.check A testing tool that allows developers to write concise, powerful tests by defining properties of functions that should hold true for all inputs. 1,122
ethanhs/python-typecheckers A comprehensive collection of Python type checkers, categorized by syntax and execution time. 62
quora/pyanalyze A tool to analyze Python code for type errors and other issues 343
contains-io/typet A Python library that simplifies type checking and validation in object-oriented coding 22
felixthec/strongtyping A decorator that checks function parameters at runtime for correct type compatibility. 108
shambles-dev/autohotkey-type_checking A tool for validating and checking the types of data in AutoHotkey scripts 8
stain/profilechecker A tool that checks OWL 2 ontologies against various profiles. 15
vitalets/babel-plugin-runtyper An add-on to JavaScript code analysis that detects and prevents type-coercion bugs during runtime. 116
zeeman/promises A type checking library for Python that uses a promise-based syntax to validate function arguments and return types. 0
foonathan/type_safe A set of C++ utilities to prevent bugs at compile time using the type system. 1,542
janestreet/typerep A runtime environment providing type-safe functionality for the OCaml programming language 23