Skip to content
@granule-project

Granule Project

Pinned Loading

  1. granule granule Public

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

    Haskell 595 35

  2. granule-vscode-extension granule-vscode-extension Public

    VSCode extension for Granule

    TypeScript 2 1

  3. gerty gerty Public

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

    Haskell 54 1

  4. granule-compiler-llvm granule-compiler-llvm Public

    LLVM compiler for Granule

    Haskell 9 1

Repositories

Showing 9 of 9 repositories
  • security-coeffects-mechanization Public
    granule-project/security-coeffects-mechanization’s past year of commit activity
    Agda 0 0 0 0 Updated Nov 27, 2024
  • granule Public

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

    granule-project/granule’s past year of commit activity
    Haskell 595 BSD-3-Clause 35 31 5 Updated Nov 22, 2024
  • granule-project.github.io Public Forked from nicolas-van/bootstrap-4-github-pages

    The Granule Project Website

    granule-project/granule-project.github.io’s past year of commit activity
    SCSS 7 MIT 441 0 0 Updated Nov 22, 2024
  • granule-compiler-llvm Public

    LLVM compiler for Granule

    granule-project/granule-compiler-llvm’s past year of commit activity
    Haskell 9 1 0 1 Updated Nov 21, 2024
  • gerty Public

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

    granule-project/gerty’s past year of commit activity
    Haskell 54 1 2 0 Updated Apr 24, 2024
  • granule-vscode-extension Public

    VSCode extension for Granule

    granule-project/granule-vscode-extension’s past year of commit activity
    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)

    granule-project/grdoc’s past year of commit activity
    1 Apache-2.0 0 0 0 Updated Oct 10, 2022
  • deriving-distributed-linear-haskell Public
    granule-project/deriving-distributed-linear-haskell’s past year of commit activity
    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).

    granule-project/ghc’s past year of commit activity
    Haskell 0 718 0 0 Updated Sep 7, 2021

Top languages

Loading…

Most used topics

Loading…