Pinned

1. theory-toolbox

   Proofs, analysis and design patterns.

2. data-structures-algorithms-c

   Implementations of generic data structures and graph algorithms in straight C, providing i) potential space and speed advantages relative to the use of C++ abstractions in settings with limited mem…

   C

3. seq-cause-search

   Design and implementation of a search algorithm that enables the identification of potential causal relationships underlying rare events in sequence data of discrete tokens.

   Common Lisp

4. functional-tf-nn

   A higher-order representation of function composition in neural networks, demonstrating a segmentation of model construction with closure, and enabling code simplicity and research flexibility.

   Python 3

5. infrastructure-as-opt

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

   Python

6. lisp-review

   Review examples of tail recursion, folding, lazy evaluation, closure, optimization, macros, etc.

   Common Lisp 1