Pinned Loading

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

   Haskell 730 45

2. Light-weight verification and transformation tools for Fortran

   Haskell 143 17

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

   Haskell 103 12

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

   Haskell 65 24

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

   Agda 29 1

6. Fortran parsing and static analysis infrastructure

   Haskell 59 23