Granule Project (@granule-project)
Guthub

granule-project

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    629
  • Global Org. Rank 20,756 (Top 7 %)
  • Registered about 6 years ago
  • Most used languages
    Haskell
         80.0 %
    TypeScript
         20.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 13,482
  • Country Ranking
    Haskell
         45

Top repositories

1

granule

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

gerty

A small implementation of graded modal dependent type theory. A younger cousin to Granule.
Haskell
52
star
3

granule-compiler-llvm

LLVM compiler for Granule
Haskell
9
star
4

granule-vscode-extension

VSCode extension for Granule
TypeScript
2
star
5

deriving-distributed-linear-haskell

Haskell
1
star
6

grdoc

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