Pinned

1. theory-toolbox theory-toolbox Public

   Proofs, analysis and design patterns.

2. graph-algorithms graph-algorithms Public

   Graph algorithms and supporting data structures with low memory footprint

   C

3. systems-toolbox systems-toolbox Public

   C

4. infrastructure-as-opt infrastructure-as-opt Public

   Provisioning of distributed infrastructure for learning as an optimization problem. An implementation of proof-of-concept iteration components is provided.

   Python

5. seq-cause-search seq-cause-search Public

   Search for potential causes of rare events in sequence data.

   Common Lisp

6. functional-tf-nn functional-tf-nn Public

   Segmentation of neural network model construction with closure improving usability and composability.

   Python 3