Adam-Vandervorst / PyBHVLinks
Boolean Hypervectors with various operators for experiments in hyperdimensional computing (HDC).
☆31Updated last year
Alternatives and similar repositories for PyBHV
Users that are interested in PyBHV are comparing it to the libraries listed below
Sorting:
- Torchhd is a Python library for Hyperdimensional Computing and Vector Symbolic Architectures☆351Updated 6 months ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆22Updated last month
- A scalable abstraction learning library☆83Updated 4 months ago
- Code to support the guide to logical induction for software engineers☆11Updated 9 months ago
- [NAACL 2025] Official Implementation of "HMT: Hierarchical Memory Transformer for Long Context Language Processing"☆80Updated 2 weeks ago
- A programming language for formal/informal computation.☆42Updated last week
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆59Updated 2 months ago
- ☆13Updated 2 years ago
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆19Updated last year
- ☆74Updated 3 years ago
- Official implementation for the paper "Understanding Hyperdimensional Computing for Parallel Single-Pass Learning"☆23Updated 2 years ago
- Example of Dense Associative Memory training on MNIST☆42Updated 3 years ago
- Polynomial-time Meta-Interpretive Learning☆131Updated 10 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Scalable training and inference for Probabilistic Circuits☆89Updated 2 weeks ago
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆100Updated 3 months ago
- Dyna built on R-exprs (First Prototype)☆17Updated 3 years ago
- This codes presents examples of constructing primitives for data structures with Hyperdimensional Computing/Vector Symbolic Architectures☆14Updated 4 years ago
- ☆17Updated last year
- program synthesis with neuro-symbolic differentiable interpreters☆16Updated 3 months ago
- The main repository integrating the LaTeX beamer-based slides☆29Updated 9 months ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- Certified Reasoning with Language Models☆31Updated 2 years ago
- a categorical deep learning compiler☆207Updated 3 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆30Updated last year
- Code for the paper "Attention Approximates Sparse Distributed Memory"☆26Updated 4 years ago
- 🧮 Algebraic Positional Encodings.☆18Updated 4 months ago
- ☆54Updated last year
- Dyna v3 built using R-exprs in Clojure, https://matthewfl.com/phd☆57Updated 10 months ago
- ☆63Updated 8 months ago