Popular repositories

1. neurallambda neurallambda Public

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

   Python 156 8

2. awesome-reasoning awesome-reasoning Public

   a curated list of data for reasoning ai

   92 5

3. automata automata Public

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

   Haskell 16

4. RWKV-infctx-trainer RWKV-infctx-trainer Public

   Forked from RWKV/RWKV-infctx-trainer

   Adding neurallambda to RWKV-infctx-trainer

   Jupyter Notebook 6