Thanks to visit codestin.com
Credit goes to github.com

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
      •39•640•36•9•Updated Oct 24, 2025Oct 24, 2025

    • granule-project.github.io

      Public
      The Granule Project Website
      SCSS
      •
      MIT License
      •440•7•0•0•Updated Oct 1, 2025Oct 1, 2025

    • granule-vscode-extension

      Public
      VSCode extension for Granule
      TypeScript
      •2•2•0•0•Updated Aug 4, 2025Aug 4, 2025

    • granule-compiler-llvm

      Public
      LLVM compiler for Granule
      Haskell
      •0•9•0•3•Updated Apr 14, 2025Apr 14, 2025

    • graded-coeffects-mechanization

      Public
      Mechanisation of a core graded calculus with security coeffects and non-interference proof
      Agda
      •0•1•1•0•Updated Apr 5, 2025Apr 5, 2025

    • gerty

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

    • 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
      •732•0•0•0•Updated Sep 7, 2021Sep 7, 2021