Pinned Loading
Repositories
- granule-project.github.io Public Forked from nicolas-van/bootstrap-4-github-pages
The Granule Project Website
- granule Public
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
- graded-coeffects-mechanization Public
Mechanisation of a core graded calculus with security coeffects and non-interference proof
- gerty Public
A small implementation of graded modal dependent type theory. A younger cousin to Granule.
- grdoc Public
A tool that generates browseable HTML documentation from Granule type signatures and comments (also written in Granule itself)
- ghc Public Forked from ghc/ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Top languages
Loading…
Most used topics
Loading…