This is a repo of my master's thesis written as part of my studies at the University of Wrocław
-
Updated
Mar 9, 2024 - Coq
This is a repo of my master's thesis written as part of my studies at the University of Wrocław
Free Love uses a library model to showcase advanced Scala concepts like polymorphism, variance, bounds, and the Curiously Recurring Template Pattern.
Methods for extracting information from jpHMM (http://jphmm.gobics.de) output.
Playground for comparing different strategies for dealing with polymorphic datasets in Flink
Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.
Labs from functional and concurrent programming feat. Scala
Lean Subtypes that have Super powers
LpSubP is a rapid subtyping tool for Legionella pneumophila with core gene set
JSON-Schema based type resolver for golang
cronology is an automated workflow for Cronobacter whole genome sequence assembly, subtyping and isolate clustering based on NCBI Pathogen Detection Project for Cronobacter.
Detecting and dissecting anomalous anatomic regions in spatial transcriptomics with STANDS
Manipulate scRNA-seq data with GSASD
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
A C# source generator of fluent APIs from context-free grammar specifications. Generated fluent APIs implement covariant subtyping machines.
Bidirectional type checking for predicative System F
Agda formalization of fair subtyping for dependent session types
A Haskell library for object-oriented programming
Add a description, image, and links to the subtyping topic page so that developers can more easily learn about it.
To associate your repository with the subtyping topic, visit your repo's landing page and select "manage topics."