Harold Carr's repositories
learn-haskell-coq-ml-etc
Where I try code from Haskell (etc) books, articles, etc.
simple-blockchain
a simple blockchain (in Haskell) to illustrate basic concepts/operation
presentations
slides for presentations I have given
json-pretty-print
compact, human-readable json pretty printing
plutus-pioneer-program-3
My notes for Plutus Pioneer Program - 3
using-phantoms-and-existentials
How to use phantom types and existential types in production.
haskell-inline-js-example
example of how to use inline-js
pluggable-stackable-api-impl-example
a simplified, more detailed version of Authenticated Modular Maps in Haskell https://icfp18.sigplan.org/event/tyde-2018-authenticated-modular-maps-in-haskell
crypto
Rust crypto library for data privacy tools
data-graphviz-hc-util
Utilities for Data.GraphViz
especially-haskell
Thinking about writing a "book". Right now this is just experiments in book/website/blog infrastructure mechanics.
haroldcarrdotcom
my tech blog
haskell-string-conversions
How to convert between the various "string" types in Haskell.
lambda-auth-in-redex
Implementation of "lambda-auth" from paper "Authenticated Data Structures, Generically"
libhotstuff
A general-purpose BFT state machine replication library with modularity and simplicity, suitable for building hybrid consensus cryptocurrencies.
misc-diagrams
Various diagrams from other projects - mostly using Haskell Data.GraphViz for generation.
network-zmq-unagi
put/take messages to/from zeromq via unagi channels
pept
Remoting architecture: Presentation, Encoding, Protocol, Transport
refined
Refinement types with static and runtime checking