Pinned Loading

1. neurallambda/neurallambda neurallambda/neurallambda Public

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

   Python 235 11

2. neurallambda/automata neurallambda/automata Public

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

   Haskell 16

3. neurallambda/awesome-reasoning neurallambda/awesome-reasoning Public

   a curated list of data for reasoning ai

   112 5

4. uniteai uniteai Public

   Your AI Stack in Your Editor

   Python 289 9

5. haskell-fortran haskell-fortran Public

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

   Haskell 12