znah / zffLinks
8-bit computational substrates
☆47Updated last year
Alternatives and similar repositories for zff
Users that are interested in zff are comparing it to the libraries listed below
Sorting:
- ☆167Updated last month
- Code for the Fractured Entangled Representation Hypothesis position paper!☆220Updated 2 months ago
- Training AI for Super Smash Bros. Melee☆32Updated 9 months ago
- Repo for solving arc problems with an Neural Cellular Automata☆23Updated 7 months ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆284Updated last year
- Multi-agent simulator in Jax for research and teaching in AI & ALife☆29Updated last month
- explore token trajectory trees on instruct and base models☆150Updated 7 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆218Updated last year
- Like ARC, but code to generate visual puzzles. 1D puzzles first.☆22Updated last year
- ☆75Updated last year
- Cellular Automata Accelerated in JAX (Oral at ICLR 2025)☆238Updated last month
- A programming language for formal/informal computation.☆42Updated last week
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆107Updated last month
- slowly building a set of infinite riddle generators for data-hungry methods☆14Updated 3 years ago
- Enjoy puzzle-solving directly in your browser.☆31Updated 8 months ago
- A massively parallel, optimal functional runtime in Rust☆31Updated last year
- ☆109Updated last year
- Diffusion on syntax trees for program synthesis☆480Updated last year
- Code implementing "Efficient Parallelization of a Ubiquitious Sequential Computation" (Heinsen, 2023)☆98Updated last year
- MiniHF is an inference, human preference data collection, and fine-tuning tool for local language models. It is intended to help the user…☆183Updated 2 months ago
- ☆74Updated 3 years ago
- Simple Transformer in Jax☆140Updated last year
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- Domain Specific Language for the Abstraction and Reasoning Corpus☆316Updated last year
- Materials for ConceptARC paper☆110Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- Minimalistic DeepDream with C89☆211Updated 4 years ago
- gzip Predicts Data-dependent Scaling Laws☆34Updated last year
- LLMs represent numbers on a helix and manipulate that helix to do addition.☆27Updated 11 months ago