TinyNS: Platform-Aware Neurosymbolic Auto Tiny Machine Learning
☆26Jun 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 neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆20Feb 25, 2023Updated 3 years ago
- Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"☆37Mar 9, 2024Updated 2 years ago
- The Unreasonable Effectiveness of Synthetic Data☆16Mar 29, 2023Updated 3 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
- SIMPLE MAGIC: Synthesis and In-memory MaPping of Logic Execution for Memristor Aided loGIC☆15Jan 23, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- 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
- ☆13Aug 3, 2023Updated 2 years ago
- McPAT modeling framework☆13Oct 18, 2014Updated 11 years ago
- PyTorch implementation for "HyperSPNs: Compact and Expressive Probabilistic Circuits", NeurIPS 2021☆13Oct 26, 2021Updated 4 years ago
- MxAccl: open-source code for both the MemryX C++ runtime library and the acclBench benchmarking tool. These components enable seamless in…☆18Apr 2, 2026Updated 2 months ago
- iQuHACK 2020 Ideas☆13Feb 5, 2020Updated 6 years ago
- Repository with notebooks associated with video streams☆10Aug 13, 2024Updated last year
- Repo for PyChart 1.39, refs http://download.gna.org/pychart/☆10Sep 29, 2014Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Simple FPGA-based Wavelet Image Compression☆15Dec 1, 2015Updated 10 years ago
- Julia code for an upper level undergraduate macroeconomics course.☆10May 18, 2022Updated 4 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
- Integrating Symbolic Programming and Neuromorphic Modeling for Edge Labs with NVIDIA Jetson, DGX Spark, and GPU-based DNN/ML Systems☆16Jun 6, 2026Updated last week
- First-order automated theorem prover based on the tableau method☆19Jan 3, 2026Updated 5 months ago
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 3 years ago
- An example model of a Network Processing Unit using the PFPSim framework.☆14Aug 23, 2016Updated 9 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 3 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- zkSnark circuit compiler☆13Apr 29, 2026Updated last month
- A Python widget for Quirk to be used in Jupyter notebooks, JupyterLab, and the IPython kernel.☆24May 19, 2022Updated 4 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆18Jan 4, 2023Updated 3 years ago
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 5 years ago
- An implementation of EinsumNetworks in PyTorch.☆23Jan 26, 2026Updated 4 months ago
- 2021 Ideas☆20Feb 2, 2021Updated 5 years ago
- An open source framework to add the effects of traveling at relativistic speeds to visualizations or games☆28Apr 7, 2026Updated 2 months ago
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Xilinx Embedded Software (embeddedsw) Development☆14Feb 24, 2026Updated 3 months ago
- ☆20Mar 11, 2025Updated last year
- Awesome Qiskit is a list of projects, tools, utilities, libraries and tutorials from a broad community of developers and researchers.☆29Jun 10, 2024Updated 2 years ago
- Building the Bi-LSTM & the CNN-GAN models to compose Classical Music in different eras☆12Aug 2, 2021Updated 4 years ago
- Arrow Matrix Decomposition - Communication-Efficient Distributed Sparse Matrix Multiplication☆15Mar 25, 2024Updated 2 years ago
- A suite of tools for pretty printing, diffing, and exploring abstract syntax trees.☆16Mar 3, 2026Updated 3 months ago
- ☆23Jun 12, 2023Updated 3 years ago