An open API service indexing awesome lists of open source software.

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/smimram/mlsub

My own implementation of MLsub.

ml ocaml subtyping

Last synced: 17 Oct 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/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