☆18Jul 20, 2022Updated 3 years ago
Alternatives and similar repositories for HyperProtoBench
Users that are interested in HyperProtoBench are comparing it to the libraries listed below
Sorting:
- ☆17Mar 17, 2023Updated 2 years ago
- Ballistic Mobility PMIs inside of Sentaurus S-Device☆10May 20, 2020Updated 5 years ago
- ☆10Aug 18, 2025Updated 6 months ago
- A speicifically designed KV store for blockchain systems☆11Mar 10, 2025Updated 11 months ago
- MiTMoJCo (Microscopic Tunneling Model for Josephson Contacts) is C and Python code for simulating dynamics of superconducting Josephson j…☆10Feb 9, 2023Updated 3 years ago
- A simple program to convert gdsII files to vector output formats. Currently used to create laser-cut models of standard cells.☆12May 30, 2023Updated 2 years ago
- TinyRP is a simple lightweight HTTP reverse proxy made in golang☆12Dec 4, 2022Updated 3 years ago
- Releasing open-sourced version of the code used in the paper "Perceptron-based Prefetch Filtering (ISCA 2019)"☆10May 27, 2022Updated 3 years ago
- This repo contains instructions, benchmarks, and files for running user space networking in gem5 simulator.☆11Aug 1, 2024Updated last year
- A deliberately simple Django app for managing IT inventory☆13Jul 14, 2016Updated 9 years ago
- Launch Xilinx Vivado Design Suite using a DCV Remote Desktop on AWS☆16May 12, 2021Updated 4 years ago
- An automatic speaker recognition system built from digital signal processing tools, Vector Quantization and LBG algorithm☆11May 24, 2021Updated 4 years ago
- Example of Chisel3 Diplomacy☆11Feb 23, 2022Updated 4 years ago
- ☆13Oct 22, 2025Updated 4 months ago
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking.☆22Updated this week
- Personal Space implementing robotics algorithms including planning(A*, LPA*, D*, RRT*, PRM...), filtering(kf, ekf, pf...) and optimizatio…☆10May 9, 2022Updated 3 years ago
- Using the QOI image format to save sequences of images☆10Feb 12, 2022Updated 4 years ago
- 8085 emulation library implemented in C++☆13May 2, 2023Updated 2 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- Swan Benchmark Suite☆13Sep 17, 2025Updated 5 months ago
- Solar System Treks Mosaic Pipeline☆12Feb 3, 2022Updated 4 years ago
- ☆12Sep 18, 2024Updated last year
- Calculates the trajectory of the rocket based on motor and environment conditions in 3D. Includes compressible flow and Kalman filters.☆12Jan 6, 2016Updated 10 years ago
- ☆11Nov 14, 2023Updated 2 years ago
- XBeeBoot: XBee Series 2 API Bootloader for Arduino and Atmel AVR☆10Mar 6, 2022Updated 3 years ago
- ☆20Oct 31, 2025Updated 4 months ago
- GPU model checker☆11Apr 17, 2019Updated 6 years ago
- Read "humanoid robot" and implement some algorithms☆10Jan 8, 2018Updated 8 years ago
- Palm OS software development repo☆12Sep 17, 2021Updated 4 years ago
- DHCP server that talks GRPC☆15Jul 8, 2017Updated 8 years ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆18Feb 3, 2026Updated 3 weeks ago
- CCSDS MO MAL C API☆13Feb 16, 2024Updated 2 years ago
- ☆11Mar 16, 2022Updated 3 years ago
- ☆13May 26, 2022Updated 3 years ago
- This repository contains bindings for NASA's CFE/OSAL for Rust.☆11Dec 16, 2018Updated 7 years ago
- Simulation of movement of a human character using forward and inverse kinematics☆14May 22, 2016Updated 9 years ago
- A QT Based inventory management for a small organization☆13Sep 27, 2018Updated 7 years ago
- (elastic) cuckoo hashing☆16Jun 20, 2020Updated 5 years ago
- Data-centric defense mechanism against Spectre attacks. (DAC'19)☆11Nov 6, 2019Updated 6 years ago