subtyping
There are 29 repositories under subtyping topic.
IBM/jsonsubschema
Tool for checking whether a JSON schema is a subschema of another JSON schema.
sigp/superstruct
Rust library for versioned data types
hobwekiva/leibniz
Leibniz equivalence and Liskov substitutability library for Scala.
rlepigre/subml
SubML (prototype) language
jin/subtyping
An implementation of structural subtyping of records and functions
dirkriehle/adap-course
A course on advanced object-oriented design and programming
phylo42/sherpas
Screening Historical Events of Recombination in a Phylogeny via Ancestral Sequences
smimram/mlsub
My own implementation of MLsub.
mbg/hoop
A Haskell library for object-oriented programming
boystrange/FairSubtypingAgda
Agda formalization of fair subtyping for dependent session types
chrisnevers/bidirectional-typechecking
Bidirectional type checking for predicative System F
OriRoth/treetop
A C# source generator of fluent APIs from context-free grammar specifications. Generated fluent APIs implement covariant subtyping machines.
alexj136/gvcalc
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
Catchxu/STANDS
Detecting and dissecting anomalous anatomic regions in spatial transcriptomics with STANDS
kAI-swa/M2ASDA
Manipulate scRNA-seq data with GSASD
CFSAN-Biostatistics/cronology
cronology is an automated workflow for Cronobacter whole genome sequence assembly, subtyping and isolate clustering based on NCBI Pathogen Detection Project for Cronobacter.
tariel-x/polyschema
JSON-Schema based type resolver for golang
tlinkowski/filterer-pattern-in-10-steps
Filterer Pattern in 10 Steps
CDCgov/LpSubP
LpSubP is a rapid subtyping tool for Legionella pneumophila with core gene set
Champitoad/LambdaSub
Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.
hvvka/scala-playground
Labs from functional and concurrent programming feat. Scala
somombo/supertype
Lean Subtypes that have Super powers
Catchxu/M2ASDA
Detecting and subtyping anomalous single cells with M2ASDA
d-plaindoux/self-type
Talk "Typage dynamique de l'objet courant"
evolbioinfo/jphmm_tools
Methods for extracting information from jpHMM (http://jphmm.gobics.de) output.
marek-bauer/Quotientlike-types-in-Coq
This is a repo of my master's thesis written as part of my studies at the University of Wrocław
r8vnhill/free-love-scala
Free Love uses a library model to showcase advanced Scala concepts like polymorphism, variance, bounds, and the Curiously Recurring Template Pattern.
salvalcantara/flink-events-and-polymorphism
Playground for comparing different strategies for dealing with polymorphic datasets in Flink