Giters
Granule Project (granule-project)

Granule Project

granule-project

Geek Repo

Location:Earth

Github PK Tool:Github PK Tool

Granule Project's repositories

granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Language:HaskellLicense:BSD-3-ClauseStargazers:583Issues:30Issues:148

gerty

A small implementation of graded modal dependent type theory. A younger cousin to Granule.

Language:HaskellLicense:NOASSERTIONStargazers:51Issues:10Issues:2

granule-compiler-llvm

LLVM compiler for Granule

Language:HaskellStargazers:9Issues:5Issues:0

granule-project.github.io

The Granule Project Website

Language:SCSSLicense:MITStargazers:7Issues:4Issues:0

granule-vscode-extension

VSCode extension for Granule

Language:TypeScriptStargazers:2Issues:5Issues:0

deriving-distributed-linear-haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

grdoc

A tool that generates browseable HTML documentation from Granule type signatures and comments (also written in Granule itself)

License:Apache-2.0Stargazers:1Issues:2Issues:0

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).

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

security-coeffects-mechanization

Language:AgdaStargazers:0Issues:0Issues:0