Pinned Repositories
deriving-distributed-linear-haskell
gerty
A small implementation of graded modal dependent type theory. A younger cousin to Granule.
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).
granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
granule-compiler-llvm
LLVM compiler for Granule
granule-project.github.io
The Granule Project Website
granule-vscode-extension
VSCode extension for Granule
grdoc
A tool that generates browseable HTML documentation from Granule type signatures and comments (also written in Granule itself)
security-coeffects-mechanization
Granule Project's Repositories
granule-project/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
granule-project/gerty
A small implementation of graded modal dependent type theory. A younger cousin to Granule.
granule-project/granule-compiler-llvm
LLVM compiler for Granule
granule-project/granule-project.github.io
The Granule Project Website
granule-project/granule-vscode-extension
VSCode extension for Granule
granule-project/deriving-distributed-linear-haskell
granule-project/grdoc
A tool that generates browseable HTML documentation from Granule type signatures and comments (also written in Granule itself)
granule-project/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).
granule-project/security-coeffects-mechanization