Obsidian Systems LLC

Ledger app for Tezos

obsidiansystems

Functional reactive web and mobile applications, with batteries included.

obsidiansystems

Template Haskell for generating ToJSON and FromJSON instances for GADTs

obsidiansystems

Generated migrations for beam databases

obsidiansystems

Dependently-typed finite maps (partial dependent products)

obsidiansystems

Dependent sums and supporting typeclasses for comparing and displaying them

obsidiansystems

seamless management of source dependencies with nix

obsidiansystems

A framework for managing daemons from Haskell and libraries for use with postgresql and nix

obsidiansystems

Functor-parametric containers

obsidiansystems

An open-source library for Cardano developers using Hydra (Head)

obsidiansystems