spectrum
Type checker
A tool that performs compile-time checks to catch type errors in Clojure code using Clojure.spec annotations.
595 stars
40 watching
20 forks
Language: Clojure
last commit: almost 4 years ago
Linked from 1 awesome list
razum2um/awesome-clojureRelated projects:
| Repository | Description | Stars |
|---|---|---|
 aldanor/typo | A package providing runtime type checking for Python functions annotated with argument type hints. | 29 |
 clojure/core.typed | An optional type system for Clojure | 1,287 |
 agronholm/typeguard | A runtime type checking library for Python functions with annotations | 1,569 |
 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,124 |
 quora/pyanalyze | A tool to analyze Python code for type errors and other issues | 350 |
 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. | 111 |
 shambles-dev/autohotkey-type_checking | A tool for validating and checking the types of data in AutoHotkey scripts | 8 |
 stain/profilechecker | A tool for verifying the consistency of ontologies against specific OWL 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,545 |
 janestreet/typerep | A runtime environment providing type-safe functionality for the OCaml programming language | 23 |