haroldcarr Goto Github PK

auth-adt

Authenticated Data Structures Generically

bft-consensus-agda

bitly-client

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)

crypto

Rust crypto library for data privacy tools

data-graphviz-hc-util

Utilities for Data.GraphViz

data-json-validation

semantic validation of json (e.g., Swagger 2.0)

delicious-bookmarks-to-rdf

transforms delicious.com bookmarks into RDF triples

delicious-tags

tags that I now convert to RDF

emacs

My emacs files.

especially-haskell

Thinking about writing a "book". Right now this is just experiments in book/website/blog infrastructure mechanics.

go-swagger

Swagger 2.0 implementation for go

gpx

GPX file reader. Gives start, end, lowest, highest, total up, total down.

haroldcarrdotcom

my tech blog

haskell-companies

A gently curated list of companies using Haskell in industry

haskell-foreign-rust

haskell-inline-js-example

example of how to use inline-js

haskell-rust-ffi

haskell-string-conversions

How to convert between the various "string" types in Haskell.

hsparql

hsparql includes a DSL to easily create queries, as well as methods to submit those queries to a SPARQL server, returning the results as simple Haskell data structures.

json-pretty-print

compact, human-readable json pretty printing

juno

Smart Contracts Running on a BFT Hardened Raft

keripy

Key Event Receipt Infrastructure - the spec and implementation of the KERI protocol

lambda-auth-in-redex

Implementation of "lambda-auth" from paper "Authenticated Data Structures, Generically"

learn-haskell-coq-ml-etc

Where I try code from Haskell (etc) books, articles, etc.

libhotstuff

A general-purpose BFT state machine replication library with modularity and simplicity, suitable for building hybrid consensus cryptocurrencies.

llava

lisp-1 in java (or, java in lisp syntax)

make-mp3-copies

make a parallel directory tree containing mp3 copies of flac, wav, mp3, etc., files in another tree