Library for a bidirectional type checker with affine ownership tracking
paraiconicity/meeps has added +16 stars since the first tracked point, with current momentum at 17.20.