spectrum
by arohner
AI summary
Type checker
A tool that performs compile-time checks to catch type errors in Clojure code using Clojure.spec annotations.
- stars
- 595
- forks
- 20
- watching
- 40
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Type checker
A package providing runtime type checking for Python functions annotated with argument type hints.
Type checker
An optional type system for Clojure
Type checker
A runtime type checking library for Python functions with annotations
Type checker
A utility library that provides a type checking decorator for Python functions.
Property tester
A testing tool that allows developers to write concise, powerful tests by defining properties of functions that should hold true for all inputs.
Type checker
A tool to analyze Python code for type errors and other issues
Type checker
A Python library that simplifies type checking and validation in object-oriented coding
Type checker
A decorator that checks function parameters at runtime for correct type compatibility.
Type checker
A tool for validating and checking the types of data in AutoHotkey scripts
OWL profile verifier
A tool for verifying the consistency of ontologies against specific OWL profiles
Type-checker
An add-on to JavaScript code analysis that detects and prevents type-coercion bugs during runtime.
Type checker
A type checking library for Python that uses a promise-based syntax to validate function arguments and return types.
Type checker library
A set of C++ utilities to prevent bugs at compile time using the type system.
Type checker
A runtime environment providing type-safe functionality for the OCaml programming language
Featured in 1 awesome list
Each link jumps to the spot where the list mentions spectrum.
