granule-project's tracked open-source repos, sorted by stars.
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
