Popular repositories Loading

1. FuSe FuSe Public

   A simple library implementation of binary sessions

   OCaml 11 1

2. FairSubtypingAgda FairSubtypingAgda Public

   Agda formalization of fair subtyping for dependent session types

   Agda 5

3. FairTermination FairTermination Public

   Agda 5

4. FairCheck FairCheck Public

   FairCheck is a type checker for a calculus of binary sessions. The type system guarantees that well-typed programs terminate under a strong fairness assumption.

   Haskell 3

5. LinearityChallenge LinearityChallenge Public

   Agda formalizations of different versions of the Linear Calculus of Continuations based on classical linear logic.

   Agda 3 2

6. EmacsFiraCode EmacsFiraCode Public

   Emacs composition table generator for Fira Code ligatures

   Haskell 1