seanjhardy / HyperLifeLinks
A realtime multicellular organism evolution simulator with Verlet integration
☆12Updated 4 years ago
Alternatives and similar repositories for HyperLife
Users that are interested in HyperLife are comparing it to the libraries listed below
Sorting:
- 8-bit computational substrates☆47Updated last year
- Boolean Hypervectors with various operators for experiments in hyperdimensional computing (HDC).☆31Updated last month
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- Dynamic Markov Blanket Discovery☆16Updated last year
- ☆74Updated 3 years ago
- ☆111Updated last year
- A programming language for formal/informal computation.☆43Updated last month
- RASP-L in Haskell for my fellow rascals☆20Updated 2 years ago
- The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…☆99Updated 9 months ago
- ☆77Updated last year
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆17Updated last year
- ☆41Updated 3 years ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- Categorica: a pure and applied category theory framework for the Wolfram Language☆34Updated last year
- a categorical deep learning compiler☆207Updated 4 months ago
- Renderer for molecular nanotechnology☆90Updated 3 weeks ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆284Updated last year
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- A scalable abstraction learning library☆84Updated 5 months ago
- Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of nu…☆28Updated last year
- a collection of Gymnasium environments for saturation provers☆23Updated last month
- Graphing Scrubbing Calculator☆11Updated 8 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Updated last year
- ☆66Updated 11 months ago
- Training AI for Super Smash Bros. Melee☆32Updated 10 months ago
- Cellular Automata Accelerated in JAX (Oral at ICLR 2025)☆243Updated 2 months ago
- ☆74Updated 2 years ago
- Approximating the joint distribution of language models via MCTS☆22Updated last year
- Dyna v3 built using R-exprs in Clojure, https://matthewfl.com/phd☆57Updated 11 months ago