#

subtypes

Here are 10 public repositories matching this topic...

rbtr / pachinko

modular pluggable media sorter

trakt pipeline processor plex tmdb tvdb hacktoberfest subtypes datastream pachinko media-sorter postprocessors options-pachinko

Updated May 22, 2020
Go

jin / subtyping

An implementation of structural subtyping of records and functions

haskell typechecker subtyping subtypes

Updated Jul 14, 2018
Haskell

sstucki / f-omega-int-agda

F-omega with interval kinds mechanized in Agda

semantics agda proofs subtypes agda-mechanization interval-kinds

Updated Aug 1, 2024
Agda

nrohani / MolecularSubtypes

Classifying Breast Cancer Molecular Subtypes

machine-learning bioinformatics neural-network cancer clustering subtype cancer-research breast-cancer unsupervised-machine-learning heterogeneity subtypes breast-cancer-tumor pam50 breastcancer-classification tumors breastcancer molecular-subtype

Updated Feb 28, 2021
Python

aminya / TypeTransform.jl

Transform the given type to another type during defining a method

julia metaprogramming method transform type macro subtype specific subtypes ambiguity ambiguity-resolver ambiguity-error

Updated Oct 30, 2020
Julia

bhgomes / SubTypes.jl

Custom Subtyping in Julia

julia typing julia-language subtype subtypes custom-types

Updated Oct 17, 2020
Julia

somombo / supertype

Lean Subtypes that have Super powers

functional theorem-proving lean subtyping subtypes lean4

Updated Oct 31, 2023
Lean

ahenoch / Masterthesis

Results of the thesis for the M.Sc. Bioinformatics program at the Friedrich Schiller University Jena.

clustering pca influenza hdbscan subtypes

Updated Jul 12, 2021
Jupyter Notebook

pdmoerland / SubtypePaper

Materials for subtype paper

gene-expression breast-cancer subtypes

Updated Mar 15, 2016

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.).

javascript utility types type-detection subtypes

Updated Oct 22, 2024
JavaScript

Improve this page

Add a description, image, and links to the subtypes topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the subtypes topic, visit your repo's landing page and select "manage topics."