Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Granule | 547 | 2 months ago | 35 | bsd-3-clause | Haskell | |||||
A statically-typed linear functional language with graded modal types for fine-grained program reasoning | ||||||||||
Modallibrary | 11 | 2 years ago | bsd-2-clause | TeX | ||||||
Modal Logic Library in Coq | ||||||||||
Boxes And Diamonds | 11 | 3 years ago | 1 | cc-by-4.0 | TeX | |||||
Open textbook on modal logic | ||||||||||
Hintikkasworld | 8 | 2 years ago | 1 | TeX | ||||||
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic. |