Popular repositories Loading

1. coq-plf coq-plf Public

   Programming Language Foundations exercises

   HTML 2

2. mod_authz_by_fs mod_authz_by_fs Public

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

3. ceez.github.io ceez.github.io Public

   Repo for pages.github.com

4. PathTools PathTools Public

   Forked from tsee/PathTools

   The Perl PathTools set of modules

   Perl

5. NetASM-haskell NetASM-haskell Public

   Forked from NetASM/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.

   Haskell

6. game-of-life game-of-life Public

   Forked from wakaleo/game-of-life

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

   HTML