prl-julia

julia-type-stability

juliette-wa

World Age Calculus

julia-type-stability-checker

Julia Type Stabilty Statically

jb-thesis

julia-packages-command-runner

Run Julia commands against a set of Juila packages in parallel with timeout

julia-sub

julia-type-stability-checker-data

julia-type-stability-pkgs

julia-warmup

subtype-algorithm

subtype-artifact

The artifact associated with the paper "On Julia’s efficient algorithm for subtyping union types and covariant tuples"

SubtypingCorrectness