Pinned Loading

1. plfa/plfa.github.io plfa/plfa.github.io Public

   An introduction to programming language theory in Agda

   Agda 1.5k 353

2. agda/agda agda/agda Public

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell 2.9k 428

3. wireapp/wire-server wireapp/wire-server Public

   🇪🇺 Wire back-end services

   Haskell 2.8k 332

4. OHF-Voice/intents OHF-Voice/intents Public

   Intents to be used with Home Assistant

   Python 621 640