Topic: "subtypes"
rbtr/pachinko
modular pluggable media sorter
Language: Go - Size: 229 KB - Last synced at: 11 months ago - Pushed at: almost 5 years ago - Stars: 27 - Forks: 1
sstucki/f-omega-int-agda
F-omega with interval kinds mechanized in Agda
Language: Agda - Size: 448 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 13 - Forks: 3
jin/subtyping
An implementation of structural subtyping of records and functions
Language: Haskell - Size: 23.4 KB - Last synced at: 28 days ago - Pushed at: almost 7 years ago - Stars: 13 - Forks: 2
nrohani/MolecularSubtypes
Classifying Breast Cancer Molecular Subtypes
Language: Python - Size: 17.7 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 6 - Forks: 5
aminya/TypeTransform.jl
Transform the given type to another type during defining a method
Language: Julia - Size: 46.9 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
bhgomes/SubTypes.jl
Custom Subtyping in Julia
Language: Julia - Size: 39.1 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
MLDataAnalytics/FC-SpatialHeterogeneity
Spatial Heterogeneity and Subtypes of Functional Connectivity Development in Youth
Language: MATLAB - Size: 27.3 KB - Last synced at: 21 days ago - Pushed at: 22 days ago - Stars: 1 - Forks: 0
somombo/supertype
Lean Subtypes that have Super powers
Language: Lean - Size: 12.7 KB - Last synced at: 9 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
nandovejer/js-subtype
js-subtype is a lightweight library that allows you to determine JavaScript subtypes, making it easy to identify the exact type of an object (like Array, Date, etc.).
Language: JavaScript - Size: 7.81 KB - Last synced at: 23 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
ahenoch/Masterthesis
Results of the thesis for the M.Sc. Bioinformatics program at the Friedrich Schiller University Jena.
Language: Jupyter Notebook - Size: 865 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
pdmoerland/SubtypePaper Fork of FrissAnalytics/SubtypePaper
Materials for subtype paper
Size: 1.76 MB - Last synced at: almost 2 years ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0
