OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.
☆15Jun 26, 2020Updated 5 years ago
Alternatives and similar repositories for openmz
Users that are interested in openmz are comparing it to the libraries listed below
Sorting:
- ☆12Apr 25, 2025Updated 10 months ago
- ☆19Dec 15, 2023Updated 2 years ago
- A concolic testing engine for RISC-V embedded software with support for SystemC peripherals☆27Oct 4, 2023Updated 2 years ago
- Binary analysis in HOL☆46Feb 13, 2026Updated 2 weeks ago
- collection of my favorite bar plots found in the web or developed by me☆36Aug 16, 2021Updated 4 years ago
- Stochastic Markov Games☆12Oct 5, 2017Updated 8 years ago
- Verification of an Asynchronous FIFO using UVM & SVA☆11Jun 26, 2025Updated 8 months ago
- ☆19Feb 12, 2026Updated 2 weeks ago
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11May 21, 2024Updated last year
- This project compares the accuracy of different machine learning models in the identification and classification of bearing faults from t…☆14Apr 24, 2022Updated 3 years ago
- Shipping Plugin for WooCommerce fetching the shipping rates as JSON from an external microservice☆12Feb 1, 2020Updated 6 years ago
- Meta-Reinforcement Learning with Policy Residual Representation☆11Aug 15, 2019Updated 6 years ago
- Instruction and files for porting Arm DesignStart to CW305.☆16Dec 6, 2023Updated 2 years ago
- OpenCCA: An Open Framework to Enable Arm CCA Research☆20Sep 10, 2025Updated 5 months ago
- A bare-metal application to test specific features of the risc-v hypervisor extension☆45Nov 24, 2025Updated 3 months ago
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 7 years ago
- APB UVC ported to Verilator☆11Nov 19, 2023Updated 2 years ago
- A Micropython module for communicating with the Bosch BME280 temperature, humidity, and pressure sensor.☆10Sep 6, 2018Updated 7 years ago
- Rust API for the STM32F0 micro controller☆18Aug 7, 2018Updated 7 years ago
- Static Analyzer and Verifier☆52Oct 12, 2024Updated last year
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆11Jul 17, 2025Updated 7 months ago
- Illustrations of codeql's AST☆12Sep 10, 2021Updated 4 years ago
- Picorv32 SoC on the TinyFPGA BX, for games etc.☆12Sep 22, 2018Updated 7 years ago
- ☆10Nov 8, 2019Updated 6 years ago
- ☆12Jul 6, 2023Updated 2 years ago
- A tool for formally verifying constant-time software against hardware 🕰️☆14Feb 1, 2025Updated last year
- A Julia Package for the ACT-R Cognitive Architecture☆12Oct 30, 2025Updated 4 months ago
- Julia package for scenario generation for stochastic programs with tail risk measure☆11Nov 16, 2022Updated 3 years ago
- Edutainment game teaching players concepts around machine learning☆15Feb 18, 2020Updated 6 years ago
- RODI Relational-to-Ontology Mapping Quality Benchmark☆11Updated this week
- Example of an ELF parser to learn about the ELF format☆11Oct 6, 2024Updated last year
- Example of Realtime Celery Task Monitoring using Flask-SocketIO☆11Aug 25, 2014Updated 11 years ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- Runs a bluetooth LE service that forwards messages to a MQTT service.☆10Feb 5, 2017Updated 9 years ago
- This Repo contains SystemC for testBench for AMBA® 3 AHB-Lite Protocol☆13Jul 11, 2018Updated 7 years ago
- Firmware for the iSensor-SPI-Buffer (STM32F303) to enable full throughput buffered data capture on Analog Devices IMUs over SPI, USB (cli…☆10Nov 5, 2021Updated 4 years ago
- A rule-based stream reasoning engine utilizing sliding windows☆10Jun 3, 2022Updated 3 years ago
- An open silicon CHERIoT Ibex microcontroller chip☆18May 23, 2025Updated 9 months ago
- Proof of concept code for VoteAgain paper☆10Jul 23, 2023Updated 2 years ago