ActiveInferenceInstitute / ActiveInferenceCategoryTheoryLinks
Active Inference & Category Theory
☆10Updated last year
Alternatives and similar repositories for ActiveInferenceCategoryTheory
Users that are interested in ActiveInferenceCategoryTheory are comparing it to the libraries listed below
Sorting:
- ☆29Updated 2 years ago
- Dynamic Markov Blanket Discovery☆13Updated last year
- ☆11Updated 2 years ago
- cadCAD implementation in Julia☆16Updated 7 months ago
- Content of the Active Inference Journal☆41Updated 10 months ago
- A Julia Package for Active Inference☆31Updated last week
- A Julia package for behavioural modeling☆20Updated last week
- Landing page and repository for the 'Active Agents' tutorial held 17 July, 2024 at the 10th International Conference on Computational Soc…☆20Updated 5 months ago
- Code for simulating collective motion from groups of continuous-time and -space active inference agents.☆45Updated last year
- A collaborative environment for formal, interoperable, conceptual modeling☆92Updated this week
- A domain-specific probabilistic programming language for reasoning about reasoning☆85Updated this week
- prompt library for calculus resources☆14Updated last year
- Rust bindings to GAP (Groups, Algorithms, Programming)☆27Updated 2 years ago
- PyHGF: A neural network library for predictive coding☆90Updated 2 months ago
- Code to support the guide to logical induction for software engineers☆11Updated 3 months ago
- Flexible Inference for Predictive Coding Networks in JAX.☆51Updated 2 weeks ago
- A web-based application for collaborating on simulation models in real-time using Firebase☆36Updated 8 months ago
- The matrix cookbook, proved in the Lean theorem prover☆112Updated last month
- Quantify geometric intelligence in natural and artificial brains.☆51Updated 3 weeks ago
- Building dynamical systems compositionally☆72Updated 8 months ago
- ☆69Updated 3 months ago
- The Julia implementation of the generalised hierarchical Gaussian filter☆33Updated 2 weeks ago
- Reactive environments for self-learning agents☆21Updated 5 months ago
- Higher-Order Interactions☆36Updated 7 months ago
- A cross platform C library for information analysis of dynamical systems☆24Updated 3 years ago
- ☆41Updated 2 months ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆33Updated last year
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆88Updated this week
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- ☆67Updated 3 years ago