Pinned Loading

1. desci-labs/desci-codex desci-labs/desci-codex Public

   Reference implementation of the CODEX protocol, using Ceramic and ComposeDB

   TypeScript 8

2. nix nix Public

   My Nix home manager configuration

   Nix 1

3. safe-streaming safe-streaming Public

   Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.

   Haskell 47

4. lollipop lollipop Public

   A general purpose programming language with linear types

   Haskell 43 1

5. vulcanize/vulcanizedb vulcanize/vulcanizedb Public archive

   Go 226 32