☆10May 23, 2023Updated 3 years ago
Alternatives and similar repositories for NN_software
Users that are interested in NN_software 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 tiny 3-stage RISC-V core written in Chisel.☆18Apr 14, 2023Updated 3 years ago
- ☆11Jan 9, 2021Updated 5 years ago
- Configurable AXI4 Verification IP developed using UVM, featuring reusable master and slave agents, protocol checking, functional coverage…☆12Mar 7, 2026Updated 8 months ago
- ☆13Jan 17, 2022Updated 4 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆16May 7, 2022Updated 4 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.
- ☆14Sep 27, 2026Updated last month
- ☆11Nov 19, 2015Updated 10 years ago
- A fork of TinyMLPerf modified to use our of TensorFlow Lite for Microcontrollers utilises a part of the RISC-V Vector Extension to improv…☆11Jan 18, 2021Updated 5 years ago
- Artifacts for "vCXLGen: Automated Synthesis and Verification of CXL Bridges for Heterogeneous Architectures", ASPLOS'26☆14Dec 22, 2025Updated 10 months ago
- ☆25May 26, 2022Updated 4 years ago
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆19Dec 24, 2020Updated 5 years ago
- llm-powered theorem proving for isabelle/hol☆17Jul 22, 2026Updated 3 months ago
- rv6 is a kernel & operating system written entirely in rust.☆11Nov 7, 2019Updated 7 years ago
- EEMBC's Machine-Learning Inference Benchmark targeted at edge devices.☆54Apr 25, 2022Updated 4 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.
- A machine learning-based computer architecture simulator.☆24Aug 2, 2024Updated 2 years ago
- [OSDI'25] QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach☆10Jun 20, 2025Updated last year
- A simple tui used for sdb in the ysyx project's nemu or npc.☆10Mar 11, 2024Updated 2 years ago
- Use hardware performance counters to find mapping of addresses to L3 slices in Intel processors☆18Jul 30, 2023Updated 3 years ago
- ☆10Nov 3, 2020Updated 6 years ago
- RiVEC Bencmark Suite☆135Nov 27, 2024Updated last year
- A tool to parse the obsidian syntax to vuepress☆12Aug 15, 2023Updated 3 years ago
- ☆16Mar 18, 2025Updated last year
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆20Jun 21, 2015Updated 11 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.
- A setup for debugging command-line applications on the Windows Subsystem for Linux with VS Code.☆13Apr 1, 2020Updated 6 years ago
- A single file C# file to untar file entries from a tar stream.☆18Mar 17, 2024Updated 2 years ago
- Note repository for studying Peripheral Component Interconnect Express (PCIe) and Compute Express Link (CXL).☆16Feb 17, 2025Updated last year
- Open stadard cell library for open 28nm process☆18Jul 5, 2023Updated 3 years ago
- ☆16Oct 5, 2026Updated last month
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆31Feb 15, 2019Updated 7 years ago
- The official repository for the gem5 computer-system architecture simulator.☆17Sep 7, 2026Updated 2 months ago
- A Custom RISC-V Instruction Extension for SNN and CNN Computation☆37Aug 22, 2024Updated 2 years ago
- FreeRTOS for PULP☆16Jul 24, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Masked Hardware AES with HPC☆21Oct 22, 2026Updated 3 weeks ago
- A standalone CXL-enabled system simulator.☆22Updated this week
- CassandraRestfulAPI project exposes the cassandra data tables with the help of Restful API's. The project follows the standard Restful AP…☆15Jul 8, 2017Updated 9 years ago
- Crypto Side Channel Attack (CSCA)☆18Jul 18, 2018Updated 8 years ago
- ☆17Jan 18, 2025Updated last year
- Accelerate convolution neural network for face recognition using GPU☆17Nov 24, 2020Updated 5 years ago
- Methodology that leverages FPV to automatically discover covert channels in hardware that is time-shared between processes. AutoCC operat…☆24Oct 25, 2024Updated 2 years ago
Are these results useful?