Discover haroldcarr/pluggable-stackable-api-impl-example Open Source

Stars
1
Language
Haskell
License
BSD 3-Clause "New...
Created over 5 years ago
Updated over 5 years ago

haroldcarr

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

a simplified, more detailed version of Authenticated Modular Maps in Haskell https://icfp18.sigplan.org/event/tyde-2018-authenticated-modular-maps-in-haskell

learn-haskell-coq-ml-etc

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

Haskell

simple-blockchain

a simple blockchain (in Haskell) to illustrate basic concepts/operation

Haskell

presentations

slides for presentations I have given

json-pretty-print

compact, human-readable json pretty printing

Haskell

plutus-pioneer-program-3

My notes for Plutus Pioneer Program - 3

Haskell

using-phantoms-and-existentials

How to use phantom types and existential types in production.

Haskell

blockchain-explained

how blockchain(s) work

Haskell

blockchain-framework

explore blockchain architecture

Haskell

utah-haskell

Utah Haskell

Haskell

blockchain-with-linear-types

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

emacs

My emacs files.

Emacs Lisp

make-mp3-copies

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

Haskell

nfsn-client

Client for nearlyfreespeech.net API

Haskell

haskell-inline-js-example

example of how to use inline-js

Haskell

poets-apprentice

Poet's Apprentice : rewrite text via plugin modules.

test-hunit-util

Haskell Test.HUnit utilities : short names ...

Haskell

rdf-triple-browser

An RDF Triple Browser

Java

haroldcarr/pluggable-stackable-api-impl-example

haroldcarr

Reviews

Repository Details

More Repositories