Projects in Awesome Lists tagged with subtyping
A curated list of projects in awesome lists tagged with subtyping .
https://github.com/rlepigre/subml
SubML (prototype) language
polymorphism prototype-language subtyping termination
Last synced: 09 Jul 2025
https://github.com/jin/subtyping
An implementation of structural subtyping of records and functions
haskell subtypes subtyping typechecker
Last synced: 27 Aug 2025
https://github.com/dirkriehle/adap-course
A course on advanced object-oriented design and programming
class-design collaboration-based-design design-by-contract design-patterns error-handling inheritance interface-design method-properties method-types object-creation object-oriented-frameworks role-modeling subtyping type-objects value-objects
Last synced: 03 Sep 2025
https://github.com/mbg/hoop
A Haskell library for object-oriented programming
haskell haskell-library object-oriented-programming subtyping template-haskell
Last synced: 08 Sep 2025
https://github.com/tlinkowski/filterer-pattern-in-10-steps
Filterer Pattern in 10 Steps
filtering java parametrization subtyping
Last synced: 27 Apr 2025
https://github.com/tariel-x/polyschema
JSON-Schema based type resolver for golang
json json-schema polymorphism subtyping type-checker type-system types
Last synced: 08 Mar 2026
https://github.com/cdcgov/lpsubp
LpSubP is a rapid subtyping tool for Legionella pneumophila with core gene set
bioinformatics coregene dendrogram heatmap jupyter-notebook legionella matplotlib pipeline python subtyping
Last synced: 16 Apr 2025
https://github.com/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-polymorphism generics object-oriented-programming parametric-polymorphism polymorphism scala subtyping variance
Last synced: 09 Oct 2025
https://github.com/d-plaindoux/self-type
Talk "Typage dynamique de l'objet courant"
nominal structural subtyping talk
Last synced: 16 Feb 2026
