kiwi0fruit / ultimate-question
Open-ended natural selection of interacting code-data-dual algorithms as a property analogous to Turing completeness.
☆12Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for ultimate-question
- ☆28Updated last year
- Discussion of MeTTa programming with examples☆20Updated this week
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆30Updated 2 months ago
- A peer to peer machine intelligence benchmark☆22Updated last year
- Movable Feast Machine C++ reference implementation and simulator☆85Updated 3 weeks ago
- Open Source Deep Reinforcement Learning, based on Agent 57 (Badia et al, 2020)☆36Updated 3 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆137Updated last month
- General reasoning component for applications based on NARS theory.☆91Updated last month
- Domain Specific Language for the Abstraction and Reasoning Corpus☆213Updated last month
- Haskell implementation of open games☆147Updated last week
- ☆482Updated last year
- ☆22Updated 2 months ago
- A "Natural" Selection Simulator using Neural Nets☆27Updated 11 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆60Updated last year
- Compiler for MFM programming language☆59Updated last month
- Celular automaton-based calculus for the masses☆110Updated 4 years ago
- Official repository for the paper "A Modern Self-Referential Weight Matrix That Learns to Modify Itself" (ICML 2022 & NeurIPS 2021 Deep R…☆168Updated 11 months ago
- cadCAD implementation in Julia☆14Updated this week
- ☆37Updated 3 years 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…☆24Updated 7 months ago
- ☆86Updated 2 years ago
- It's a poorly named metamath verifier☆107Updated 4 years ago
- Evolutionary Algorithms Framework☆108Updated 2 years ago
- ☆17Updated 11 months ago
- 81M parameter custom GPT☆8Updated last year
- Haskell implementation of open games☆36Updated last month
- A minimal proof checker.☆65Updated 2 months ago
- Resources about Artificial General Intelligence☆300Updated 5 months ago
- Program a bot using assembly-like code in this competitive game!☆58Updated 3 years ago