Skip to content
@granule-project

Granule Project

Pinned Loading

  1. granule Public

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

    Haskell 604 36

  2. granule-vscode-extension Public

    VSCode extension for Granule

    TypeScript 2 1

  3. gerty Public

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

    Haskell 56 2

  4. granule-compiler-llvm Public

    LLVM compiler for Granule

    Haskell 9 1

Repositories

Showing 9 of 9 repositories
  • granule-compiler-llvm Public

    LLVM compiler for Granule

    Haskell 9 1 0 1 Updated Mar 6, 2025
  • security-coeffects-mechanization Public
    Agda 0 0 0 1 Updated Feb 11, 2025
  • granule Public

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

    Haskell 604 BSD-3-Clause 36 30 6 Updated Feb 11, 2025
  • granule-project.github.io Public Forked from nicolas-van/bootstrap-4-github-pages

    The Granule Project Website

    SCSS 7 MIT 442 0 0 Updated Nov 22, 2024
  • gerty Public

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

    Haskell 56 2 2 0 Updated Apr 24, 2024
  • granule-vscode-extension Public

    VSCode extension for Granule

    TypeScript 2 1 0 2 Updated Jul 26, 2023
  • grdoc Public

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

    1 Apache-2.0 0 0 0 Updated Oct 10, 2022
  • deriving-distributed-linear-haskell Public
    Haskell 1 BSD-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 722 0 0 Updated Sep 7, 2021

Top languages

Loading…

Most used topics

Loading…