frasertweedale Goto Github PK

advent

Advent of Code solutions (Haskell)

avisiedo.github.io

Blog

awesome-ghci-tricks

amazing GHCi trick

base64-bytestring

Fast base64 encoding and decoding for Haskell.

ble

blog-fp

FP blog

blog-redhat

Content of my Red Hat development blog

brick

A declarative terminal UI programming library written in Haskell

cabal

Official upstream development repository for Cabal and cabal-install

certbot

Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.

clevis

Key acquisition framework

clilib

Simple CLI toolkit.

commonmark-hs

Pure Haskell commonmark parsing library, designed to be flexible and extensible

coreutils

Enhancements to the GNU coreutils (especiall head)

course

Functional Programming Course

cri-o

Open Container Initiative-based implementation of Kubernetes Container Runtime Interface

cryptography

cryptography is a package designed to expose cryptographic primitives and recipes to Python developers.

cryptonite

lowlevel set of cryptographic primitives for haskell

ct-policy

curriculum

Curriculum for the HaskellBridge workshop series (forked from ClojureBridge/curriculum)

custodia

An API to manage secrets storage and retrieval

d-bus

strongly typed dbus client library

deer

subset of Elk used for live-coding/demos

docker-coq

Fedora-based docker image with Coq proof assistant

docker-proofgeneral-coq

Proof General and Coq in a container

docker-sf

Software Foundations workshop container

dollaridoos

A typesafe wrapper around monetary values represented as numeric values, allowing only sensible operations.

dotfiles

drill

algorithms, data structures and interview question drilling

earthquake

Twitter terminal client with streaming API support.