Boxes And Diamonds
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Granule | 547 | 3 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. | ||||||||||
Alternatives To Boxes And DiamondsSelect To Compare
Alternative Project Comparisons
Popular Tex Projects
Popular Modal Dialogs Projects
Popular Text Processing Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Tex
Modal Dialogs