Pinned Loading

1. Alignment Alignment Public

   Haskell implementation of aspects of the theory of Aligned Induction

   Haskell

2. AlignmentC AlignmentC Public

   C++ implementation of aspects of the theory of Aligned Induction

   C++ 1

3. AlignmentRepaC AlignmentRepaC Public

   C++ implementation of practicable Aligned Induction

   C++

4. NIST NIST Public

   MNIST - handwritten digits

   Haskell

5. NISTC NISTC Public

   MNIST - handwritten digits C++ implementation

   C++

6. TBOT01 TBOT01 Public

   TurtleBot3 controller

   C++