IBM / jsonsubschema
Tool for checking whether a JSON schema is a subschema of another JSON schema.
☆89Updated last week
Related projects ⓘ
Alternatives and complementary repositories for jsonsubschema
- A CLI tool that generates JSON Typedef schemas from example data☆54Updated last year
- Convert TLA+ output (and values) into JSON☆24Updated 3 years ago
- Convert between JSON Schema specification versions☆68Updated 3 weeks ago
- JSON Schema in every programming language☆55Updated this week
- A list of languages that compile to SQL☆62Updated 2 years ago
- A binary JSON serialization format based on JSON Schema 2020-12 with a strong focus on space-efficiency☆132Updated 3 weeks ago
- JSON Merge Patch (RFC 7386) implementation in python.☆28Updated last year
- Python library for CUE https://cuelang.org/☆21Updated 3 years ago
- Python library to work with algebraic effects☆67Updated 4 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 3 years ago
- Use JSON Schema for type checking in Python☆39Updated 8 months ago
- AutoTransform is a framework for large-scale, automated code modification in a production environment.☆57Updated 4 months ago
- ☆24Updated 7 months ago
- Typecheck, template and modularize your Github Action definitions with Dhall☆115Updated 2 months ago
- Adaptive fuzzing of Hypothesis tests☆82Updated 2 months ago
- A very minimal implementation of the core idea of Hypothesis☆127Updated 4 months ago
- Definitional implementation of Cedar language and utilities for DRT☆91Updated this week
- ☆28Updated 8 months ago
- Use JSON Schema for type checking in Python☆22Updated last year
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆159Updated 2 weeks ago
- Interactive, web-based environment for exploring and visualizing TLA+ specifications.☆74Updated this week
- A script for running TLA+/TLC from the command line☆80Updated 3 years ago
- Type-safe functional tools for Python.☆98Updated 3 months ago
- A tree-sitter grammar for TLA⁺ and PlusCal☆57Updated 3 weeks ago
- Proposed documentation for alloytools.org☆69Updated last week
- The command-line frontend to transactional consistency checkers for black-box databases☆27Updated 2 weeks ago
- GitHub action to create annotations from a JSON file☆36Updated 8 months ago
- Python type hints are Turing complete.☆30Updated 2 years ago
- A curated list of awesome JSON Schema resources, tutorials, tools, and more☆127Updated last month
- Property-based tests for the Python standard library (and builtins)☆27Updated 3 years ago