Alternatives and similar repositories for PyBHV:

Users that are interested in PyBHV are comparing it to the libraries listed below

• Cornell-RelaxML / Hyperdimensional-Computing
  Official implementation for the paper "Understanding Hyperdimensional Computing for Parallel Single-Pass Learning"
  ☆18Updated last year
• hyperdimensional-computing / torchhd
  Torchhd is a Python library for Hyperdimensional Computing and Vector Symbolic Architectures
  ☆266Updated 2 months ago
• RichardAragon / HyperDimensionalComputingNeuralNetwork
  ☆12Updated 3 months ago
• OswaldHe / HMT-pytorch
  [NAACL 2025] Official Implementation of "HMT: Hierarchical Memory Transformer for Long Context Language Processing"
  ☆66Updated last week
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated last week
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆75Updated last year
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆59Updated 5 months ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆27Updated 11 months ago
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆89Updated 7 months ago
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated last year
• ellisk42 / humanlike_fewshot_learning
  ☆25Updated last year
• apple / ml-np-rasp
  ☆19Updated last year
• kachris / survey_HA_LLM
  A survey on Hardware Accelerated LLMs
  ☆40Updated 2 weeks ago
• denkle / HDC-VSA_cookbook_tutorial
  This codes presents examples of constructing primitives for data structures with Hyperdimensional Computing/Vector Symbolic Architectures
  ☆14Updated 3 years ago
• skurella / hdlib
  ☆11Updated 5 years ago
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated 8 months ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆31Updated 4 months ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆10Updated last year
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆16Updated 5 months ago
• IBM / neuro-vector-symbolic-architectures
  PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…
  ☆86Updated last year
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆45Updated 3 years ago
• srush / DiffRast
  ☆9Updated 6 months ago
• enyac-group / Quamba
  The official repository of Quamba
  ☆19Updated 2 months ago
• lightmatter-ai / INT-FP-QSim
  Flexible simulator for mixed precision and format simulation of LLMs and vision transformers.
  ☆47Updated last year
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆19Updated 8 months ago
• google-research / crossbeam
  ☆43Updated last year
• opencompl / egg-tactic-code
  ☆14Updated last year
• Ying1123 / awesome-neural-symbolic
  A list of awesome neural symbolic papers.
  ☆44Updated 2 years ago