ceez

ceez.github.io

Repo for pages.github.com

coq-lf

Logical Foundations exercises

coq-plf

Programming Language Foundations exercises

coq-sf

Exercises from Software Foundations (Using coq)

coq-vfa

Verified Functional Algorithms

datasciencecoursera

datasharing

The Leek group guide to data sharing

DO180-apps

DO180 Repository for Sample Applications

DO280-apps

docker-volume-netshare

Docker NFS, AWS EFS & Samba/CIFS Volume Plugin

game-of-life

Demo application for the 'Jenkins: The Definitive Guide' book

gitignore

A collection of useful .gitignore templates

golang-docker-ci

groops

mermaid-test

mod_authz_by_fs

Apache 2 authz module that allows or denies access based upon filesystem

NetASM-haskell

NetASM is a network assembler that takes high-level SDN languages (NetKAT, P4, etc.) and maps the primitives to device-specific directives in FPGAs and various chipsets.

object-store-comparison

Compare cost, durability, and region support of public cloud object stores, e.g., Amazon S3

openshift

openssh-portable

Portable OpenSSH

PathTools

The Perl PathTools set of modules

practices-of-the-python-pro

ProgrammingAssignment2

Repository for Programming Assignment 2 for R Programming on Coursera

training-day