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:
- ☆22Nov 9, 2024Updated last year
- ☆12Jan 21, 2025Updated last year
- 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
- SIMPLE MAGIC: Synthesis and In-memory MaPping of Logic Execution for Memristor Aided loGIC☆15Jan 23, 2020Updated 6 years ago
- ☆13Aug 3, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 6 years ago
- IoT Platform is a software to manage large scale deployment of IoT devices and to process big data generated by them.☆18Oct 1, 2018Updated 8 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 2 years ago
- iQuHACK 2020 Ideas☆13Feb 5, 2020Updated 6 years ago
- Repo for PyChart 1.39, refs http://download.gna.org/pychart/☆10Sep 29, 2014Updated 12 years ago
- All the useful tools I have been using while working in data science for remote sensing☆11Nov 27, 2019Updated 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
- Julia code for an upper level undergraduate macroeconomics course.☆10May 18, 2022Updated 4 years ago
- Scalable training and inference for Probabilistic Circuits☆106Updated this week
- 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.
- Extract data from Global Ecosystem Dynamics Investigation (GEDI) L2A/L2B files into GeoParquet☆11Sep 11, 2026Updated 2 weeks ago
- Learning Python for spatio-temporal analysis☆11Nov 19, 2022Updated 3 years ago
- qMuVi - A python package that converts quantum circuits into audiovisual experiences, bridging the gap between complex quantum computatio…☆17Nov 19, 2025Updated 10 months ago
- First-order automated theorem prover based on the tableau method☆19Jul 8, 2026Updated 2 months 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
- 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 python implementation of the ABC sofware metric.☆11Jan 2, 2026Updated 8 months ago
- A MIPS CPU with dual-issue, out-of-order, and 5-stage pipelines☆11Nov 28, 2019Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆18Jan 4, 2023Updated 3 years ago
- 2021 Ideas☆20Feb 2, 2021Updated 5 years ago
- ☆14Jul 5, 2023Updated 3 years ago
- Optimizing the Deployment of Tiny Transformers on Low-Power MCUs☆39Sep 2, 2024Updated 2 years ago
- 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
- ROS package to allow starting and stopping of rosbag recordings via service calls.☆10Mar 5, 2018Updated 8 years ago
- ☆24Jun 12, 2023Updated 3 years ago
- The pytorch implementation for "DSNUNet: An Improved Forest Change Detection Network by Combining Sentinel-1 and Sentinel-2 Images".☆13Oct 12, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Xilinx Embedded Software (embeddedsw) Development☆14Jun 30, 2026Updated 3 months ago
- 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
- Using AI to Discover New Cancer Treatments (in silico)☆17Nov 25, 2024Updated 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
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 5 years ago