Projects in Awesome Lists tagged with subtypes
A curated list of projects in awesome lists tagged with subtypes .
https://github.com/sstucki/f-omega-int-agda
F-omega with interval kinds mechanized in Agda
agda agda-mechanization interval-kinds proofs semantics subtypes
Last synced: 02 Apr 2025
https://github.com/jin/subtyping
An implementation of structural subtyping of records and functions
haskell subtypes subtyping typechecker
Last synced: 10 Apr 2025
https://github.com/aminya/typetransform.jl
Transform the given type to another type during defining a method
ambiguity ambiguity-error ambiguity-resolver julia macro metaprogramming method specific subtype subtypes transform type
Last synced: 07 Apr 2025
https://github.com/bhgomes/subtypes.jl
Custom Subtyping in Julia
custom-types julia julia-language subtype subtypes typing
Last synced: 23 Mar 2025
https://github.com/nandovejer/js-subtype
js-subtype is a lightweight library that allows you to determine JavaScript subtypes, making it easy to identify the exact type of an object (like Array, Date, etc.).
javascript subtypes type-detection types utility
Last synced: 12 Feb 2025
