How to Make a Computer Operating System in C++

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

Jsmn is a world fastest JSON parser/tokenizer. This is the official repo replacing the old one at Bitbucket

Spike, a RISC-V ISA Simulator

GPGPU microprocessor architecture

Canonical source repository for LibYAML

Python interface to Graphviz graph drawing package

SeaHorn Verification Framework

SMACK Software Verifier and Verification Toolchain

SystemVerilog DPI "TCP/IP Shunt" (System Verilog/SystemC/Python TCP/IP socket library)

A powerful and modern open-source architecture description language.

Systemverilog DPI-C call Python function

Framework to perform DUT vs ISS (Whisper) lockstep architectural checks

John the Ripper jumbo - advanced offline password cracker, which supports hundreds of hash and cipher types, and runs on many operating systems, CPUs, GPUs, and even some FPGAs

use pivpi to drive testbench event

Verilog VPI module to dump FST (Fast Signal Trace) databases

DPI library for SoC environment

HYSim simulator with working ethernet implementation, in progress PCIE implementation and related software

Build your hardware, easily!