Pinned Loading

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

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

   Haskell 608 36

2. SimonJF/mbcheck SimonJF/mbcheck Public

   Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"

   OCaml 14 2

3. google/codeworld google/codeworld Public

   Educational computer programming environment using Haskell

   Haskell 1.3k 198

4. sure-2018 sure-2018 Public

   A high-performance agent-based model of tuberculosis transmission, using FLAME GPU. Created as part of SURE in 2018.

   C++ 2 1