TinyNS: Platform-Aware Neurosymbolic Auto Tiny Machine Learning
☆25Jun 2, 2023Updated 3 years ago
Alternatives and similar repositories for neurosymbolic-tinyml
Users that are interested in neurosymbolic-tinyml are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆26Jan 27, 2025Updated last year
- Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"☆37Mar 9, 2024Updated 2 years ago
- Jumpstart your custom DNN accelerator today. This project holds scripts to build and start containers that can compile binaries to the ze…☆10Jun 17, 2020Updated 6 years ago
- A Python library with visualization tools and workflows for quantum computing that utilize the best of what’s available. Can be used in J…☆15Mar 22, 2021Updated 5 years ago
- This repository is about video compression, and more specifically about the motion estimation block (ME block) of a video encoder. It is …☆13Sep 14, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- bitfusion verilog implementation☆13Feb 21, 2022Updated 4 years ago
- QIran's QProject101 (IR_QProject_101) is a 12 week long research program designed for the students and newcomers to the field of quantum …☆13Sep 17, 2024Updated last year
- Repository with notebooks associated with video streams☆10Aug 13, 2024Updated 2 years ago
- PyTorch implementation for "HyperSPNs: Compact and Expressive Probabilistic Circuits", NeurIPS 2021☆13Oct 26, 2021Updated 4 years ago
- iQuHACK 2020 Ideas☆13Feb 5, 2020Updated 6 years ago
- HWASim is a simulator for heterogeneous systems with CPUs and Hardware Accelerators (HWAs). It is released with the DASH memory scheduler…☆19Jan 11, 2016Updated 10 years ago
- Simple FPGA-based Wavelet Image Compression☆15Dec 1, 2015Updated 10 years ago
- Integrating Symbolic Programming and Neuromorphic Modeling for Edge Labs with NVIDIA Jetson, DGX Spark, and GPU-based DNN/ML Systems☆16Updated this week
- qMuVi - A python package that converts quantum circuits into audiovisual experiences, bridging the gap between complex quantum computatio…☆17Nov 19, 2025Updated 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- First-order automated theorem prover based on the tableau method☆19Jul 8, 2026Updated 2 months ago
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 4 years ago
- This Repository covers the basics of quantum computing with notes, reference sheets, code using IBM's qiskit framework and learning resou…☆31Oct 28, 2022Updated 3 years ago
- Identify the frequency domain of an image. Aplly Discrete Cosine Transform(DCT ) and Inverse Discrete Cosine Transform(IDCT) in image☆21Jul 25, 2022Updated 4 years ago
- A Python widget for Quirk to be used in Jupyter notebooks, JupyterLab, and the IPython kernel.☆24May 19, 2022Updated 4 years ago
- Introduction to Python for Data Science☆13Oct 11, 2024Updated last year
- An example model of a Network Processing Unit using the PFPSim framework.☆13Aug 23, 2016Updated 10 years ago
- Awesome Qiskit is a list of projects, tools, utilities, libraries and tutorials from a broad community of developers and researchers.☆31Jun 10, 2024Updated 2 years ago
- A MIPS CPU with dual-issue, out-of-order, and 5-stage pipelines☆11Nov 28, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆18Jan 4, 2023Updated 3 years ago
- Two-stage text summarization with BERT and BART☆11Jan 5, 2022Updated 4 years ago
- 2021 Ideas☆20Feb 2, 2021Updated 5 years ago
- An implementation of EinsumNetworks in PyTorch.☆23Jan 26, 2026Updated 7 months ago
- PyTorch-based radio-interferometric imaging reconstruction package with scalable Bayesian uncertainty quantification relying on data-driv…☆12Feb 17, 2025Updated last year
- Building the Bi-LSTM & the CNN-GAN models to compose Classical Music in different eras☆12Aug 2, 2021Updated 5 years ago
- ☆14Mar 7, 2022Updated 4 years ago
- ☆24Jun 12, 2023Updated 3 years ago
- zkSnark circuit compiler☆13Aug 5, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Artifacts for ATC '22 paper "Faster Software Packet Processing on FPGA NICs with eBPF Program Warping"☆17May 20, 2022Updated 4 years ago
- Arrow Matrix Decomposition - Communication-Efficient Distributed Sparse Matrix Multiplication☆15Mar 25, 2024Updated 2 years ago
- Resources for IBM QISKIT CERTIFICATION EXAM (C1000-112)☆20Sep 11, 2024Updated last year
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 5 years ago
- An attempt to merge ESBN with Transformers, to endow Transformers with the ability to emergently bind symbols☆16Aug 3, 2021Updated 5 years ago
- ☆15Jun 25, 2024Updated 2 years ago
- Benchmark framework of 3D integrated CIM accelerators for popular DNN inference, support both monolithic and heterogeneous 3D integration☆28Sep 21, 2021Updated 4 years ago