Tool for checking whether a JSON schema is a subschema of another JSON schema.
-
Updated
Jun 3, 2024 - Python
Tool for checking whether a JSON schema is a subschema of another JSON schema.
A course on advanced object-oriented design and programming
Leibniz equivalence and Liskov substitutability library for Scala.
Screening Historical Events of Recombination in a Phylogeny via Ancestral Sequences
LpSubP is a rapid subtyping tool for Legionella pneumophila with core gene set
SubML (prototype) language
An implementation of structural subtyping of records and functions
cronology is an automated workflow for Cronobacter whole genome sequence assembly, subtyping and isolate clustering based on NCBI Pathogen Detection Project for Cronobacter.
This is a repo of my master's thesis written as part of my studies at the University of Wrocław
A C# source generator of fluent APIs from context-free grammar specifications. Generated fluent APIs implement covariant subtyping machines.
Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.
A Haskell library for object-oriented programming
Free Love uses a library model to showcase advanced Scala concepts like polymorphism, variance, bounds, and the Curiously Recurring Template Pattern.
Bidirectional type checking for predicative System F
Labs from functional and concurrent programming feat. Scala
Lean Subtypes that have Super powers
Add a description, image, and links to the subtyping topic page so that developers can more easily learn about it.
To associate your repository with the subtyping topic, visit your repo's landing page and select "manage topics."