8000 Bounti (Nassim Corteggiani) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Bounti's full-sized avatar
  • Intel

Organizations

@Inception-framework

Block or report Bounti

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Pre-Silicon Hardware Fuzzing Toolkit

Rust 56 5 Updated May 22, 2025

Random instruction generator for RISC-V processor verification

Python 2 Updated Dec 16, 2024
SystemVerilog 6 1 Updated Mar 4, 2025

Simple JTAG Multiplexer, to allow controlling a device over JTAG from FPGA (2 PMOD connctors) or a standard JTAG debugger

Shell 5 3 Updated Jan 9, 2025

A simple screen parsing tool towards pure vision based GUI agent

Jupyter Notebook 22,330 1,877 Updated Mar 26, 2025

A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS

Rust 303 21 Updated Jun 4, 2025

Fuzzing General-Purpose Hardware Designs with Software Fuzzers

Scala 17 2 Updated May 22, 2025

ZSWatch - the Open Source Zephyr™ based Smartwatch, including both HW and FW.

C 2,772 244 Updated May 16, 2025

Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server

C++ 1,549 237 Updated Jun 3, 2025

Qualcomm MSM8974 SoC emulation with Qiling

3 Updated May 2, 2023

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Rust 2,259 376 Updated Jun 2, 2025

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

C 5,756 1,121 Updated Jun 4, 2025

Build your hardware, easily!

C 3,346 623 Updated Jun 2, 2025

Hardware implementation of the SHA-256 cryptographic hash function

Verilog 343 98 Updated Apr 3, 2025

libipt - an Intel(R) Processor Trace decoder library

C 682 152 Updated May 2, 2025

A LLVM-based static analysis framework.

C++ 987 147 Updated May 31, 2025

AXI4 Full, Lite, and AxiStream verification components. AXI4 Interface Master, Responder, and Memory verification components. AxiStream transmitter and receiver verification components

VHDL 135 20 Updated Jun 4, 2025

Documenting the Xilinx 7-series bit-stream format.

Python 803 156 Updated May 17, 2025

6 axis stepper motor robot and control software - Gen2

Python 1,424 417 Updated Aug 23, 2019

A 32-bit Microcontroller featuring a RISC-V core

Verilog 152 39 Updated Feb 28, 2018

FreeRTOS for RISC-V

C 26 12 Updated Jan 30, 2019

Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.

C 279 40 Updated Apr 21, 2024

Static Value-Flow Analysis Framework for Source Code

C++ 1,535 452 Updated Jun 2, 2025

CV32E40P is an in-order 4-stage RISC-V RV32IMFCXpulp CPU based on RI5CY from PULP-Platform

SystemVerilog 1,077 452 Updated May 26, 2025

This is the top-level project for the PULP Platform. It instantiates a PULP open-source system with a PULP SoC (microcontroller) domain accelerated by a PULP cluster with 8 cores.

SystemVerilog 494 119 Updated Nov 26, 2024

Working Draft of the RISC-V Debug Specification Standard

Python 490 96 Updated May 8, 2025

Fork of OpenOCD that has RISC-V support

C 483 348 Updated Apr 16, 2025

an architecture-independent decompiler to LLVM IR

C++ 394 47 Updated Aug 5, 2015
Next
0