Skip to content
Change the repository type filter

All

    Repositories list

    • Agda
      0000Updated Nov 27, 2024Nov 27, 2024
    • 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
      35595315Updated Nov 22, 2024Nov 22, 2024
    • The Granule Project Website
      SCSS
      MIT License
      435700Updated Nov 22, 2024Nov 22, 2024
    • LLVM compiler for Granule
      Haskell
      1901Updated Nov 21, 2024Nov 21, 2024
    • gerty

      Public
      A small implementation of graded modal dependent type theory. A younger cousin to Granule.
      Haskell
      Other
      15420Updated Apr 24, 2024Apr 24, 2024
    • VSCode extension for Granule
      TypeScript
      1202Updated 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
      0100Updated Oct 10, 2022Oct 10, 2022
    • Haskell
      BSD 3-Clause "New" or "Revised" License
      0100Updated 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
      708000Updated Sep 7, 2021Sep 7, 2021