IBM / jsonsubschema
Tool for checking whether a JSON schema is a subschema of another JSON schema.
☆91Updated 3 months ago
Alternatives and similar repositories for jsonsubschema:
Users that are interested in jsonsubschema are comparing it to the libraries listed below
- Adaptive fuzzing of Hypothesis tests☆85Updated last week
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆179Updated this week
- Generate arbitrary queries matching your GraphQL schema, and use them to verify your backend implementation.☆45Updated this week
- Hypothesis strategies for generating Python programs, something like CSmith☆98Updated last year
- Tools to generate test data from JSON schemata with Hypothesis☆260Updated 11 months ago
- Turms is a pure python implementation of the awesome graphql-codegen library, following a simliar extensible design.☆64Updated 2 months ago
- JSON Schema in every programming language☆55Updated this week
- Use JSON Schema for type checking in Python☆39Updated 11 months ago
- Property-based tests for the Python standard library (and builtins)☆27Updated 3 years ago
- Combine contracts and automatic testing.☆78Updated 2 years ago
- Pure Python implementation of the Common Expression Language☆123Updated this week
- Python data types for the Apache Kafka® Protocol.☆21Updated 2 weeks ago
- Extensible methods for Python a la Haskell's typeclasses.☆59Updated last year
- AutoTransform is a framework for large-scale, automated code modification in a production environment.☆59Updated 3 weeks ago
- Python interpreter for TLA+ specifications☆113Updated 8 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆44Updated 2 years ago
- Statically typed, purely functional effects for Python.☆73Updated 8 months ago
- Use JSON Schema for type checking in Python☆22Updated last year
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆240Updated this week
- Utilities for run-time type validation and multiple dispatch☆162Updated 4 months ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆30Updated 5 years ago
- Annotator that adds scope information to an ast☆22Updated 7 months ago
- Fast python test runner, compatible with a subset of pytest☆93Updated 4 months ago
- Streaming and Incremental Computation Framework☆230Updated last year
- A very minimal implementation of the core idea of Hypothesis☆133Updated 7 months ago
- Convert TLA+ output (and values) into JSON☆26Updated 3 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆45Updated 4 months ago
- Convert between JSON Schema specification versions☆77Updated 3 weeks ago
- ☆17Updated 2 years ago
- Typed, extensible, dependency free configuration reader for Python projects for multiple config sources and working well in IDEs for grea…☆25Updated 10 months ago