Discover @haroldcarr Open Source projects

Harold Carr (@haroldcarr)

haroldcarr

Stars
152
Global Rank 152,276 (Top 6 %)
Followers 50
Following 14
Registered over 13 years ago
Most used languages

Haskell
86.7 %

Emacs Lisp
6.7 %

Java
6.7 %
Location 🇺🇸 United States
Country Total Rank 34,256
Country Ranking

Haskell
203

Emacs Lisp
1,329

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.

blockchain-explained

how blockchain(s) work

blockchain-framework

explore blockchain architecture

utah-haskell

blockchain-with-linear-types

Runtime implementation of paper "Linear types can change the blockchain!" (in Haskell)

emacs

My emacs files.

make-mp3-copies

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

nfsn-client

Client for nearlyfreespeech.net API

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

haskell-inline-js-example

example of how to use inline-js

poets-apprentice

Poet's Apprentice : rewrite text via plugin modules.

test-hunit-util

Haskell Test.HUnit utilities : short names ...

rdf-triple-browser

An RDF Triple Browser