Pinned Loading

1. operating-function/pallas operating-function/pallas Public

   An event sourced, purely functional application platform.

   Haskell 39

2. keybase.md keybase.md

   1

   ### Keybase proof

   2

   3

   I hereby claim:

   4

   5

     * I am kjekac on github.

3. typedefs/typedefs typedefs/typedefs Public

   Programming language agnostic type construction language based on polynomials.

   Idris 366 18

4. ethereum/act ethereum/act Public

   Smart contract specification language

   Haskell 216 36

5. dapphub/klab dapphub/klab Public archive

   K framework proof explorer & smart contract specification format

   JavaScript 123 36