Skip to content
@obsidiansystems

Obsidian Systems LLC

Software consultancy specializing in haskell, nix, curiosity, and innovation.

Popular repositories

  1. obelisk Public

    Functional reactive web and mobile applications, with batteries included.

    Haskell 786 92

  2. Ledger app for Tezos

    C 102 51

  3. Dependently-typed finite maps (partial dependent products)

    Haskell 60 29

  4. Dependent sums and supporting typeclasses for comparing and displaying them

    Haskell 53 38

  5. IPFS × Nix Guide

    44 2

  6. seamless management of source dependencies with nix

    Haskell 35 6

Repositories

Top languages

Loading…

Most used topics

Loading…