Pinned Loading

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

   A language with lexical effect handlers and lightweight effect polymorphism

   Scala 337 30

2. effekt-nix effekt-nix Public

   Nix package for the Effekt programming language

   Nix 5

3. cocobolo cocobolo Public

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

   Haskell 3

4. lily lily Public

   Lily: A C++ linter based on linear types

   Haskell 1

5. scheme scheme Public

   Tiny, readable Scheme interpreter

   C 8

6. kasiopea-org/pisek kasiopea-org/pisek Public

   Tool for developing tasks for programming competitions.

   Python 14 2