Granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Alternatives To Granule
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Granule547
2 months ago35bsd-3-clauseHaskell
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Modallibrary11
2 years agobsd-2-clauseTeX
Modal Logic Library in Coq
Boxes And Diamonds11
3 years ago1cc-by-4.0TeX
Open textbook on modal logic
Hintikkasworld8
2 years ago1TeX
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
Alternatives To Granule
Select 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.
Haskell
Tex
Modal Dialogs
Flags