znah / zffLinks
8-bit computational substrates
☆42Updated last year
Alternatives and similar repositories for zff
Users that are interested in zff are comparing it to the libraries listed below
Sorting:
- Code for the Fractured Entangled Representation Hypothesis position paper!☆145Updated 2 months ago
- ☆135Updated 3 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Training AI for Super Smash Bros. Melee☆29Updated 4 months ago
- Multi-agent simulator in Jax for research and teaching in AI & ALife☆29Updated last month
- Repo for solving arc problems with an Neural Cellular Automata☆18Updated 2 months ago
- Cellular Automata Accelerated in JAX (Oral at ICLR 2025)☆209Updated 2 months ago
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆209Updated 8 months ago
- ☆62Updated 8 months ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆267Updated 9 months ago
- Pytorch script hot swap: Change code without unloading your LLM from VRAM☆126Updated 3 months ago
- explore token trajectory trees on instruct and base models☆134Updated 2 months ago
- A massively parallel, optimal functional runtime in Rust☆31Updated last year
- Minimalistic DeepDream with C89☆209Updated 4 years ago
- A star for organising blocks and playing with transformers.☆23Updated last year
- The Finite Field Assembly Programming Language☆36Updated 2 months ago
- Diffusion on syntax trees for program synthesis☆470Updated last year
- A tiny autograd engine with a Jax-like API☆74Updated last month
- a categorical deep learning compiler☆203Updated 5 months ago
- This repository contain the simple llama3 implementation in pure jax.☆68Updated 5 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- LLM verified with Monte Carlo Tree Search☆279Updated 4 months ago
- Enjoy puzzle-solving directly in your browser.☆28Updated 3 months ago
- Simple Transformer in Jax☆138Updated last year
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- slowly building a set of infinite riddle generators for data-hungry methods☆14Updated 2 years ago
- Training GPTs to solve interaction nets☆17Updated 11 months ago
- It's a baby compiler. (Lean btw.)☆16Updated 2 months ago
- The Abstraction and Reasoning Corpus made into a web game☆90Updated 11 months ago
- MiniHF is an inference, human preference data collection, and fine-tuning tool for local language models. It is intended to help the user…☆177Updated 3 weeks ago