Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Notation | 128 | a year ago | 50 | |||||||
Repo to track the evolution of notation in arts and sciences | ||||||||||
Linlam | 19 | a year ago | mit | Haskell | ||||||
a library for experimental linear lambda calculus |