Pinned

1. granule-project/granule granule-project/granule Public

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

   Haskell 567 32

2. camfort/camfort camfort/camfort Public

   Light-weight verification and transformation tools for Fortran

   Haskell 120 15

3. effect-monad effect-monad Public

   Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.

   Haskell 98 12

4. type-level-sets type-level-sets Public

   Type-level sets for Haskell (with value-level counterparts and various operations)

   Haskell 65 21

5. effects-as-sessions effects-as-sessions Public

   Formalised embedding of an imperative language with effect system into session-typed pi calculus.

   Agda 27 2

6. navier navier Public

   Navier-Stokes fluid simulation in various languages (C, Fortran, and Haskell using Repa)

   Haskell 52 16