Pinned Loading

1. neurallambda/neurallambda neurallambda/neurallambda Public

   Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.

   Python 289 14

2. neurallambda/awesome-reasoning neurallambda/awesome-reasoning Public

   a curated list of data for reasoning ai

   144 5

3. uniteai uniteai Public

   Your AI Stack in Your Editor

   Python 341 9

4. neurallambda/automata neurallambda/automata Public

   generate synthetic data for training finite state machines/pushdown automata/turing machines

   Haskell 17

5. haskell-fortran haskell-fortran Public

   A demonstration connecting Fortran (and C) code to Haskell, and to HMatrix.

   Haskell 13