Diogo Castro's repositories
haskell-flatbuffers
An implementation of the flatbuffers protocol in Haskell.
api-blueprint
API Blueprint
cats-scalacheck
Cats Instances For Scalacheck
Language:ScalaMIT000
haskell-backend
The symbolic execution engine powering the K Framework
Language:HaskellBSD-3-Clause000
haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
hspec-expectations-pretty-diff
Catchy combinators for HUnit +++ colored pretty-printed diffs
mono-traversable
Type classes for mapping, folding, and traversing monomorphic containers
wiki
The Tezos Agora Wiki
MIT000