Skip to content
@neurallambda

neurallambda

Reasoning about Reasoning Computers

Popular repositories Loading

  1. neurallambda neurallambda Public

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

    Python 201 11

  2. awesome-reasoning awesome-reasoning Public

    a curated list of data for reasoning ai

    105 5

  3. automata automata Public

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

    Haskell 16

  4. arc-like arc-like Public

    Like ARC, but code to generate visual puzzles. 1D puzzles first.

    Python 15 2

  5. RWKV-infctx-trainer RWKV-infctx-trainer Public

    Forked from RWKV/RWKV-infctx-trainer

    Adding neurallambda to RWKV-infctx-trainer

    Jupyter Notebook 7

Repositories

Showing 5 of 5 repositories
  • neurallambda Public

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

    neurallambda/neurallambda’s past year of commit activity
    Python 201 11 0 1 Updated Sep 18, 2024
  • arc-like Public

    Like ARC, but code to generate visual puzzles. 1D puzzles first.

    neurallambda/arc-like’s past year of commit activity
    Python 15 2 0 0 Updated Aug 17, 2024
  • awesome-reasoning Public

    a curated list of data for reasoning ai

    neurallambda/awesome-reasoning’s past year of commit activity
    105 5 0 1 Updated Aug 4, 2024
  • RWKV-infctx-trainer Public Forked from RWKV/RWKV-infctx-trainer

    Adding neurallambda to RWKV-infctx-trainer

    neurallambda/RWKV-infctx-trainer’s past year of commit activity
    Jupyter Notebook 7 Apache-2.0 28 0 0 Updated May 3, 2024
  • automata Public

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

    neurallambda/automata’s past year of commit activity
    Haskell 16 0 0 0 Updated Apr 26, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…