Pinned Loading

1. stoic stoic Public

   a capability-based system

   Coq 40 1

2. capability-thesis capability-thesis Public

   master thesis on capability-based type and effect systems

   TeX 1

3. lctes22-artifact lctes22-artifact Public

   Artifact for LCTES22 paper "Implicit State Machines"

   Shell 1

4. scala/scala3 scala/scala3 Public

   The Scala 3 compiler, also known as Dotty.

   Scala 6.1k 1.1k