IBM / jsonsubschema
Tool for checking whether a JSON schema is a subschema of another JSON schema.
☆84Updated this week
Related projects: ⓘ
- A CLI tool that generates JSON Typedef schemas from example data☆51Updated last year
- A list of languages that compile to SQL☆55Updated 2 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆94Updated 7 months ago
- Generate arbitrary queries matching your GraphQL schema, and use them to verify your backend implementation.☆43Updated this week
- Python interpreter for TLA+ specifications☆113Updated 3 months ago
- Adaptive fuzzing of Hypothesis tests☆77Updated 7 months ago
- command-line frontend to transactional consistency checkers for black-box databases☆27Updated 4 months ago
- Convert between JSON Schema specification versions☆65Updated last week
- A tree-sitter grammar for TLA⁺ and PlusCal☆57Updated this week
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆127Updated last week
- Combine contracts and automatic testing.☆77Updated 2 years ago
- Proposed documentation for alloytools.org☆69Updated 6 months ago
- Property-based tests for the Python standard library (and builtins)☆27Updated 2 years ago
- A script for running TLA+/TLC from the command line☆78Updated 3 years ago
- Pure Python implementation of the Common Expression Language☆115Updated last month
- A very minimal implementation of the core idea of Hypothesis☆123Updated 2 months ago
- Use JSON Schema for type checking in Python☆22Updated 11 months ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆224Updated 3 weeks ago
- Utilities for run-time type validation and multiple dispatch☆161Updated this week
- Extract semantic information about static Python code☆69Updated 2 months ago
- JSON Schema in every programming language☆52Updated this week
- Algebraic data types for Python (experimental, not actively maintained)☆172Updated 3 years ago
- Python bindings for Comby☆13Updated 10 months ago
- Python type hints are Turing complete.☆29Updated last year
- Python library to work with algebraic effects☆66Updated 3 years ago
- Builds a graph of a Python project's internal dependencies.☆54Updated last week
- A curated list of awesome JSON Schema resources, tutorials, tools, and more☆118Updated last month
- Type-safe functional tools for Python.☆98Updated last month
- Annotator that adds scope information to an ast☆22Updated 2 months ago
- Use JSON Schema for type checking in Python☆38Updated 6 months ago