Pinned Repositories
blockchain-explained
how blockchain(s) work
blockchain-framework
explore blockchain architecture
blockchain-with-linear-types
Runtime implementation of paper "Linear types can change the blockchain!" (in Haskell)
json-pretty-print
compact, human-readable json pretty printing
learn-haskell-coq-ml-etc
Where I try code from Haskell (etc) books, articles, etc.
plutus-pioneer-program-3
My notes for Plutus Pioneer Program - 3
presentations
slides for presentations I have given
simple-blockchain
a simple blockchain (in Haskell) to illustrate basic concepts/operation
using-phantoms-and-existentials
How to use phantom types and existential types in production.
utah-haskell
Utah Haskell
haroldcarr's Repositories
haroldcarr/learn-haskell-coq-ml-etc
Where I try code from Haskell (etc) books, articles, etc.
haroldcarr/simple-blockchain
a simple blockchain (in Haskell) to illustrate basic concepts/operation
haroldcarr/presentations
slides for presentations I have given
haroldcarr/json-pretty-print
compact, human-readable json pretty printing
haroldcarr/plutus-pioneer-program-3
My notes for Plutus Pioneer Program - 3
haroldcarr/using-phantoms-and-existentials
How to use phantom types and existential types in production.
haroldcarr/emacs
My emacs files.
haroldcarr/haskell-inline-js-example
example of how to use inline-js
haroldcarr/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
haroldcarr/anoncreds-v2-rs
Anonymous Credential Exchange 2.0
haroldcarr/auth-adt
Authenticated Data Structures Generically
haroldcarr/basic-pitch
A lightweight yet powerful audio-to-MIDI converter with pitch bend detection
haroldcarr/bft-consensus-agda
haroldcarr/crypto
Rust crypto library for data privacy tools
haroldcarr/data-graphviz-hc-util
Utilities for Data.GraphViz
haroldcarr/especially-haskell
Thinking about writing a "book". Right now this is just experiments in book/website/blog infrastructure mechanics.
haroldcarr/gpx
GPX file reader. Gives start, end, lowest, highest, total up, total down.
haroldcarr/haroldcarrdotcom
my tech blog
haroldcarr/haskell-foreign-rust
haroldcarr/haskell-rust-ffi
haroldcarr/haskell-string-conversions
How to convert between the various "string" types in Haskell.
haroldcarr/keripy
Key Event Receipt Infrastructure - the spec and implementation of the KERI protocol
haroldcarr/lambda-auth-in-redex
Implementation of "lambda-auth" from paper "Authenticated Data Structures, Generically"
haroldcarr/libhotstuff
A general-purpose BFT state machine replication library with modularity and simplicity, suitable for building hybrid consensus cryptocurrencies.
haroldcarr/misc-diagrams
Various diagrams from other projects - mostly using Haskell Data.GraphViz for generation.
haroldcarr/network-zmq-unagi
put/take messages to/from zeromq via unagi channels
haroldcarr/parameterized-constraints
haroldcarr/refined
Refinement types with static and runtime checking
haroldcarr/rust-mode
Emacs configuration for Rust
haroldcarr/snippets
a place to put pieces of code too big for a gist