Mirror of VPP code base hosted at git.fd.io

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…

Low level access to RISC-V processors

A Rust-based, lightweight unikernel.

Peer-to-peer, editor-agnostic collaborative editing of local text files.

Framework for FPGA-accelerated Middlebox Development

Package manager and build abstraction tool for FPGA/ASIC development

AXI, AXI stream, Ethernet, and PCIe components in System Verilog

oreboot is a fork of coreboot, with C removed, written in Rust.

Quickly build and run kernels inside a virtualized snapshot of your live system

rapido is a minimal implementation of TCPLS atop picotls

Community-driven, simple, yet powerful framework for fast, cost-effective distributed Compute over Data.

WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices,…

A native gRPC client & server implementation with async/await support.

Holo is a suite of routing protocols designed to support high-scale and automation-driven networks.

SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/

EJBCA® – Open-source public key infrastructure (PKI) and certificate authority (CA) software.

Open IoT Server built with Rust 🦀 using Rumqttd and more. Features built in message brokering and OTA updates.

INGInious is a secure and automated exercises assessment platform using your own tests, also providing a pluggable interface with your existing LMS.

Main Repository for the SimBricks Modular Full-System Simulation Framework.

Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic an…

Python Routeing Toolkit

Memray is a memory profiler for Python

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

Writing an OS in Rust

Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.

Documentation of the BL602 IC

Basic ECP5 based GigE to SYZYGY interface.

ECP5 breakout board in a feather physical format

Low-cost ECP5 FPGA development board