Pinned Loading

1. effekt-lang/effekt effekt-lang/effekt Public

   A language with lexical effect handlers and lightweight effect polymorphism

   Scala 431 43

2. effekt-nix effekt-nix Public

   Nix package for the Effekt programming language

   Nix 9 2

3. se-tuebingen/oopsla-2025-artifact-overloading se-tuebingen/oopsla-2025-artifact-overloading Public

   Artifact of the OOPSLA 2025 paper 'The Simple Essence of Overloading'

   Rust 8 1

4. lily lily Public

   Lily: A C++ linter based on linear types

   Haskell 2

5. cocobolo cocobolo Public

   experimental, proof-of-concept programming language using granular capabilities

   Haskell 2

6. piskoviste/pisek piskoviste/pisek Public

   Tool for developing tasks for programming competitions.

   Python 23 8