subtypes

There are 9 repositories under subtypes topic.

rbtr/pachinko
modular pluggable media sorter
Language:Go27 6 101
jin/subtyping
An implementation of structural subtyping of records and functions
Language:Haskell13 3 02
sstucki/f-omega-int-agda
F-omega with interval kinds mechanized in Agda
Language:Agda13 2 03
nrohani/MolecularSubtypes
Classifying Breast Cancer Molecular Subtypes
Language:Python8 2 05
aminya/TypeTransform.jl
Transform the given type to another type during defining a method
Language:Julia3 4 3
bhgomes/SubTypes.jl
Custom Subtyping in Julia
Language:Julia3 1 00
somombo/supertype
Lean Subtypes that have Super powers
Language:Lean1 1 00
ahenoch/Masterthesis
Results of the thesis for the M.Sc. Bioinformatics program at the Friedrich Schiller University Jena.
Language:Jupyter Notebook0 1 00
pdmoerland/SubtypePaper
Materials for subtype paper
0 0 00