subtyping

There are 0 repository under subtyping topic.

• IBM / jsonsubschema

  Tool for checking whether a JSON schema is a subschema of another JSON schema.

  json-schemajson-subschemasubschemasubtyping
  Language:Python 71

• sigp / superstruct

  Rust library for versioned data types

  rustproc-macrosubtypingschema
  Language:Rust 63

• hobwekiva / leibniz

  Leibniz equivalence and Liskov substitutability library for Scala.

  dependent-typesequalityexistential-typesgadtleibnizliskov-subsititutionliskov-substitution-principlepropositions-as-typesscalasubtypingvariancewitnesses
  Language:Scala 36

• rlepigre / subml

  SubML (prototype) language

  subtypingpolymorphismterminationprototype-language
  Language:OCaml 23

• jin / subtyping

  An implementation of structural subtyping of records and functions

  haskellsubtypingtypecheckersubtypes
  Language:Haskell 13

• dirkriehle / adap-course

  A course on advanced object-oriented design and programming

  class-designcollaboration-based-designdesign-by-contractdesign-patternserror-handlinginheritanceinterface-designmethod-propertiesmethod-typesobject-creationobject-oriented-frameworksrole-modelingsubtypingtype-objectsvalue-objects
  Language:Java 10

• phylo42 / sherpas

  Screening Historical Events of Recombination in a Phylogeny via Ancestral Sequences

  virusrecombinationsubtypinggenotypingkmersphylo-kmersrecombination-detectionancestral-sequences
  Language:C++ 8

• smimram / mlsub

  My own implementation of MLsub.

  mlocamlsubtyping
  Language:OCaml 8

• mbg / hoop

  A Haskell library for object-oriented programming

  haskellhaskell-libraryobject-oriented-programmingtemplate-haskellsubtyping
  Language:Haskell 7

• boystrange / FairSubtypingAgda

  Agda formalization of fair subtyping for dependent session types

  agdasubtypingsession-typesfairness
  Language:Agda 5

• chrisnevers / bidirectional-typechecking

  Bidirectional type checking for predicative System F

  bidirectional-typecheckingsubtypingsystem-fhigher-rank-types
  Language:OCaml 5

• OriRoth / treetop

  A C# source generator of fluent APIs from context-free grammar specifications. Generated fluent APIs implement covariant subtyping machines.

  fluent-apisource-generationcontext-free-grammarssubtyping
  Language:C# 5

• alexj136 / gvcalc

  An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"

  session-typespi-calculuslambda-calculussubtypinglinear-types
  Language:Haskell 4

• Kainan-Liu / sc-ABS

  Analyze scRNA-seq Data with scABS

  scrna-seq-analysisanomaly-detectionbatch-correctionbioinformaticssubtyping
  Language:Python 3

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

  mlstnextflownextflow-pipelinessubtypingcronobacterncbi-pathoges
  Language:Nextflow 2

• tariel-x / polyschema

  JSON-Schema based type resolver for golang

  type-systemtype-checkerjson-schematypespolymorphismsubtypingjson
  Language:Go 2

• tlinkowski / filterer-pattern-in-10-steps

  Filterer Pattern in 10 Steps

  javasubtypingparametrizationfiltering
  Language:Java 2

• CDCgov / LpSubP

  LpSubP is a rapid subtyping tool for Legionella pneumophila with core gene set

  subtypinglegionellapipelinecoregenebioinformaticsjupyter-notebookpythonmatplotlibdendrogramheatmap
  Language:Python 1

• Champitoad / LambdaSub

  Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.

  coq-formalizationlambda-calculussubtyping
  Language:Makefile 1

• hvvka / scala-playground

  Labs from functional and concurrent programming feat. Scala

  scalafunctional-programmingconcurrent-programmingrecursionpattern-matchingsubtypingpolymorphismbasicsfuturespromisesactors
  Language:Scala 1

• sidmall / PDSclassifier

  cancerclassificationclassification-algorithimscolorectal-cancerpathwaysubtyping
  Language:R 1

• somombo / supertype

  Lean Subtypes that have Super powers

  functionalleanlean4theorem-provingsubtypessubtyping
  Language:Lean 1

• d-plaindoux / self-type

  Talk "Typage dynamique de l'objet courant"

  nominalstructuralsubtypingtalk

• evolbioinfo / jphmm_tools

  Methods for extracting information from jpHMM (http://jphmm.gobics.de) output.

  hivsubtypingrecombination
  Language:Python

• 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

  coq-formalizationquotient-typessubtypingthesis-project
  Language:Coq

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

  ad-hoc-polymorphismgenericsobject-oriented-programmingparametric-polymorphismpolymorphismscalasubtypingvariance
  Language:Scala

• salvalcantara / flink-events-and-polymorphism

  Playground for comparing different strategies for dealing with polymorphic datasets in Flink

  flinkscalatypeclassinheritancesubtypingpolymorphism
  Language:Scala