Pinned Repositories
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
ceez's Repositories
ceez/ceez.github.io
Repo for pages.github.com
ceez/coq-lf
Logical Foundations exercises
ceez/coq-plf
Programming Language Foundations exercises
ceez/coq-sf
Exercises from Software Foundations (Using coq)
ceez/coq-vfa
Verified Functional Algorithms
ceez/datasciencecoursera
ceez/datasharing
The Leek group guide to data sharing
ceez/DO180-apps
DO180 Repository for Sample Applications
ceez/DO280-apps
ceez/docker-volume-netshare
Docker NFS, AWS EFS & Samba/CIFS Volume Plugin
ceez/foodtruck_challenge
Utilize data from Opendata site data.sfgov.org
ceez/game-of-life
Demo application for the 'Jenkins: The Definitive Guide' book
ceez/gitignore
A collection of useful .gitignore templates
ceez/golang-docker-ci
ceez/groops
ceez/mod_authz_by_fs
Apache 2 authz module that allows or denies access based upon filesystem
ceez/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.
ceez/object-store-comparison
Compare cost, durability, and region support of public cloud object stores, e.g., Amazon S3
ceez/openshift
ceez/openssh-portable
Portable OpenSSH
ceez/PathTools
The Perl PathTools set of modules
ceez/practices-of-the-python-pro
ceez/ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
ceez/training-day