Topic: subtyping Goto Github
Some thing interesting about subtyping
Some thing interesting about subtyping
subtyping,An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
User: alexj136
subtyping,Agda formalization of fair subtyping for dependent session types
User: boystrange
subtyping,Detecting and subtyping anomalous single cells with M2ASDA
User: catchxu
subtyping,Detecting and dissecting anomalous anatomic regions in spatial transcriptomics with STANDS
User: catchxu
Home Page: https://catchxu.github.io/STANDS/
subtyping,LpSubP is a rapid subtyping tool for Legionella pneumophila with core gene set
Organization: cdcgov
subtyping,cronology is an automated workflow for Cronobacter whole genome sequence assembly, subtyping and isolate clustering based on NCBI Pathogen Detection Project for Cronobacter.
Organization: cfsan-biostatistics
subtyping,Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.
User: champitoad
subtyping,Bidirectional type checking for predicative System F
User: chrisnevers
Home Page: https://chrisnevers.github.io/bidirectional-typechecking/book/index.html
subtyping,Talk "Typage dynamique de l'objet courant"
User: d-plaindoux
subtyping,A course on advanced object-oriented design and programming
User: dirkriehle
Home Page: http://dirkriehle.com/open-courses/advanced-design-and-programming
subtyping,Methods for extracting information from jpHMM (http://jphmm.gobics.de) output.
Organization: evolbioinfo
subtyping,Leibniz equivalence and Liskov substitutability library for Scala.
User: hobwekiva
subtyping,Labs from functional and concurrent programming feat. Scala
User: hvvka
subtyping,Tool for checking whether a JSON schema is a subschema of another JSON schema.
Organization: ibm
subtyping,M2ASDA
User: kai-swa
subtyping,This is a repo of my master's thesis written as part of my studies at the University of Wrocław
User: marek-bauer
subtyping,A Haskell library for object-oriented programming
User: mbg
subtyping,A C# source generator of fluent APIs from context-free grammar specifications. Generated fluent APIs implement covariant subtyping machines.
User: oriroth
subtyping,Screening Historical Events of Recombination in a Phylogeny via Ancestral Sequences
Organization: phylo42
subtyping,Free Love uses a library model to showcase advanced Scala concepts like polymorphism, variance, bounds, and the Curiously Recurring Template Pattern.
User: r8vnhill
subtyping,SubML (prototype) language
User: rlepigre
Home Page: https://rlepigre.github.io/subml
subtyping,Playground for comparing different strategies for dealing with polymorphic datasets in Flink
User: salvalcantara
subtyping,
User: sidmall
subtyping,Rust library for versioned data types
Organization: sigp
Home Page: https://sigp.github.io/superstruct/
subtyping,Lean Subtypes that have Super powers
User: somombo
subtyping,JSON-Schema based type resolver for golang
User: tariel-x
subtyping,Filterer Pattern in 10 Steps
User: tlinkowski
Home Page: https://blog.tlinkowski.pl/2019/filterer-pattern-in-10-steps/
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.