@typeable

TypeableIO

Haskell, FP, formal verification, software development and consulting.

  • Stackage overlay for Nixpkgs

    Nix 13 6 Updated Aug 14, 2018
  • Nix Updated Aug 8, 2018
  • Generate Nix build instructions from a Stack file

    Nix 38 10 Updated Jul 26, 2018
  • type-safe JSON spec and validation tool

    Haskell 60 5 Updated Jul 12, 2018
  • Straightforward validation monad. Convenient for validating web forms and APIs.

    Haskell 3 2 Updated Jun 25, 2018
  • Kafka backend for Katip

    Haskell Updated Apr 28, 2018
  • TemplateHaskell generators for XML-isomorphic data types, instances for parsing and rendering. A convenient DSL to define types.

    Haskell 7 1 MIT Updated Apr 19, 2018
  • Simple monadic parser for DOM

    Haskell 5 1 MIT Updated Mar 20, 2018
  • Generic method implementations for Arbitrary

    Haskell 3 1 MIT Updated Mar 12, 2018
  • Library for CSV-file embedding

    Haskell 1 Updated Sep 20, 2017