granule-project/granule-compiler-llvm granule-project/granule-compiler-llvm

  • Stars
    star
    9
  • Rank 1,887,574 (Top 39 %)
  • Language
    Haskell
  • Created over 4 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
granule-project/granule-compiler-llvm
github

granule-project

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

LLVM compiler for Granule

More Repositories

1

granule

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

gerty

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

granule-vscode-extension

VSCode extension for Granule
TypeScript
2
star
4

deriving-distributed-linear-haskell

Haskell
1
star
5

grdoc

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