Skip to content

@granule-project Granule Project

Change the repository type filter

All

    Repositories list

    9 repositories

    • granule

      Public
      A statically-typed linear functional language with graded modal types for fine-grained program reasoning
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •35•597•30•6•Updated Jan 22, 2025Jan 22, 2025

    • granule-compiler-llvm

      Public
      LLVM compiler for Granule
      Haskell
      •1•9•0•2•Updated Jan 13, 2025Jan 13, 2025

    • security-coeffects-mechanization

      Public
      Agda
      •0•0•0•0•Updated Nov 27, 2024Nov 27, 2024

    • granule-project.github.io

      Public
      The Granule Project Website
      SCSS
      •
      MIT License
      •435•7•0•0•Updated Nov 22, 2024Nov 22, 2024

    • gerty

      Public
      A small implementation of graded modal dependent type theory. A younger cousin to Granule.
      Haskell
      •
      Other
      •1•55•2•0•Updated Apr 24, 2024Apr 24, 2024

    • granule-vscode-extension

      Public
      VSCode extension for Granule
      TypeScript
      •1•2•0•2•Updated Jul 26, 2023Jul 26, 2023

    • grdoc

      Public
      A tool that generates browseable HTML documentation from Granule type signatures and comments (also written in Granule itself)
      Apache License 2.0
      •0•1•0•0•Updated Oct 10, 2022Oct 10, 2022

    • deriving-distributed-linear-haskell

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Oct 20, 2021Oct 20, 2021

    • ghc

      Public
      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
      •
      Other
      •710•0•0•0•Updated Sep 7, 2021Sep 7, 2021