Pinned

1. lambda-viewer Public

   Learn You a Lambda, a Haskell Tutorial

   Haskell 46 7

2. monad-task Public

   Task monad transformer that turns event processing into co-routines programming.

   Haskell 4 1

3. reduxer Public

   An interactive beta reduction calculator for lambda calculus

   Haskell 9 1

4. secure-setup Public

   Secure setup: encrypted USB drive, GnuPG, YubiKey and related practice

   Shell 7

5. reversi Public

   Multiplayer Reversi Game on Internet Computer

   JavaScript 62 23

6. ic-qr-scanner Public

   QR code scan & send for Internet Computer transactions

   HTML 15 3