Granule Project

VSCode extension for Granule

TypeScript 2 2 0 2 Updated Jul 22, 2026

granule Public

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

Haskell 729BSD-3-Clause 45 40 6 Updated Jul 21, 2026

gerty Public

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

Haskell 71 5 2 1 Updated Jul 20, 2026

The Granule Project Website

SCSS 7MIT 446 0 0 Updated May 16, 2026

LLVM compiler for Granule

Haskell 9 1 0 0 Updated Dec 19, 2025

Mechanisation of a core graded calculus with security coeffects and non-interference proof

Agda 2 0 1 0 Updated Apr 5, 2025

grdoc Public

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

1Apache-2.0 0 0 0 Updated Oct 10, 2022

Haskell 2BSD-3-Clause 0 0 0 Updated Oct 20, 2021

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

Haskell 0 751 0 0 Updated Sep 7, 2021

Navigation Menu