Pinned Loading

1. lambda-viewer lambda-viewer Public

   Learn You a Lambda, a Haskell Tutorial

   Haskell 47 6

2. monad-task monad-task Public

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

   Haskell 4 1

3. reduxer reduxer Public

   An interactive beta reduction calculator for lambda calculus

   Haskell 10 1

4. secure-setup secure-setup Public

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

   Shell 7

5. reversi reversi Public

   Multiplayer Reversi Game on Internet Computer

   JavaScript 68 25

6. ic-qr-scanner ic-qr-scanner Public

   QR code scan & send for Internet Computer transactions

   HTML 18 4