Raspberry Pi Pico Arduino core, for all RP2040 and RP2350 boards

P4 formalization using Ott and HOL4

Mattermost is an open source platform for secure collaboration across the entire software development lifecycle..

🍺 The missing package manager for macOS (or Linux)

A modern and intuitive terminal-based text editor

Visual Studio Code

eBPF-based Networking, Security, and Observability

Facebook Open Switching System Software for controlling network switches.

RIOT - The friendly OS for IoT

Protocol Buffers - Google's data interchange format

High-level tracing language for Linux

Concise, consistent, and legible badges in SVG and raster format

The new Windows Terminal and the original Windows console host, all in the same place!

Apache Flink

A high performance layer 4 load balancer

Easy and Repeatable Kubernetes Development

Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.

the LIBpcap interface to various kernel packet capture mechanism

Web-based Traffic and Security Network Traffic Monitoring

Over 425 terminal color schemes/themes for iTerm/iTerm2. Includes ports to Terminal, Konsole, PuTTY, Xresources, XRDB, Remmina, Termite, XFCE, Tilda, FreeBSD VT, Terminator, Kitty, MobaXterm, LXTer…

Arduino IDE 2.x

oneAPI Threading Building Blocks (oneTBB)

sched_ext schedulers and tools

GDAL is an open source MIT licensed translator library for raster and vector geospatial data formats.

The CImg Library is a small and open-source C++ toolkit for image processing

Official repository for the Microsoft C/C++ extension for VS Code.

Linux kernel source tree

Docker images to run mattermost on ARM arch (armv7 or arm64)

🥑 Language focused docker images, minus the operating system.

Utilities and example programs for use with XDP