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 Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆25Jan 27, 2025Updated last year
- ☆12Jan 21, 2025Updated last year
- 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
- 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.
- 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
- 4th RISC-V Workshop Tutorials☆13Jul 19, 2016Updated 9 years ago
- ☆13Aug 3, 2023Updated 2 years ago
- 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 …☆12Sep 17, 2024Updated last year
- 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 3 months ago
- iQuHACK 2020 Ideas☆13Feb 5, 2020Updated 6 years ago
- Repository with notebooks associated with video streams☆10Aug 13, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Examples that illustrate the possibilities of the Quantum Inspire platform to run more complex algorithms☆12May 31, 2024Updated 2 years ago
- Repo for PyChart 1.39, refs http://download.gna.org/pychart/☆10Sep 29, 2014Updated 11 years ago
- 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
- 📝 Form validation and UI components for Godot Engine☆12Feb 18, 2024Updated 2 years ago
- Integrating Symbolic Programming and Neuromorphic Modeling for Edge Labs with NVIDIA Jetson, DGX Spark, and GPU-based DNN/ML Systems☆16Jun 30, 2026Updated last week
- First-order automated theorem prover based on the tableau method☆19Updated this week
- qMuVi - A python package that converts quantum circuits into audiovisual experiences, bridging the gap between complex quantum computatio…☆17Nov 19, 2025Updated 7 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- SGLang Kernel Wheel Index☆24Updated this week
- 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
- A MIPS CPU with dual-issue, out-of-order, and 5-stage pipelines☆11Nov 28, 2019Updated 6 years ago
- ROS package to allow starting and stopping of rosbag recordings via service calls.☆10Mar 5, 2018Updated 8 years ago
- 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 2 months ago
- Two-stage text summarization with BERT and BART☆11Jan 5, 2022Updated 4 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.
- A Python widget for Quirk to be used in Jupyter notebooks, JupyterLab, and the IPython kernel.☆24May 19, 2022Updated 4 years ago
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 5 years ago
- An open source framework to add the effects of traveling at relativistic speeds to visualizations or games☆28Apr 7, 2026Updated 3 months ago
- PyTorch-based radio-interferometric imaging reconstruction package with scalable Bayesian uncertainty quantification relying on data-driv…☆12Feb 17, 2025Updated last year
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 3 years ago
- Testing Difference Target Propagation (DTP) on MNIST.☆13Oct 12, 2020Updated 5 years ago
- Artifacts for ATC '22 paper "Faster Software Packet Processing on FPGA NICs with eBPF Program Warping"☆17May 20, 2022Updated 4 years ago