Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Lnlhaskell | 31 | 6 years ago | other | Haskell | ||||||
Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic | ||||||||||
Haskell Quantum | 13 | 10 years ago | other | Haskell | ||||||
A Monad for simulating quantum processes. |