build-once run-anywhere c library

The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....

The seL4 microkernel

Wrangling Untrusted File Formats Safely

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

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

distributed builds for C, C++ and Objective C

libavif - Library for encoding and decoding .avif files

Rune is a programming language developed to test ideas for improving security and efficiency.

The OpenRC init system

USB host/device implementation using PIO of raspberry pi pico (RP2040/RP2350).

Libraries and examples to support Pimoroni Pico add-ons in C++ and MicroPython.

Open source minimal stack for the ch32 and ch5xx WCH RISC-V Microcontrollers

Chroma (developed by Ubisoft) is a one-stop solution for detecting color blindness-related issues in games. It replicates Protanopia, Deuteranopia, and Tritanopia filters over the game screen, help…

Vulkan API bindings for Go programming language

✨ The compiler and developer toolchain for Onyx

Cone Programming Language

Learn more about ELEGOO Centauri Carbon 3D printer: https://www.elegoo.com/products/centauri-carbon

Low-level language, tiny virtual machine, minimal runtime, intermediate representation, embeddable, easy for beginners. (Friendly Punched cards)

Spectre attack against SGX enclave

Run Go programs (almost) everywhere

Enable LoRaWAN communications on your Raspberry Pi Pico or any RP2040 based board. 📡

Always up-to-date mirror of the SUPERCOP cryptographic benchmark.

A public domain constant-time implementation of ChaCha20 on 8-bit AVR microcontroller.

Minimal but open SDK for developing small command line tools.

The AEGIS family of authenticated encryption algorithms for Go.

Argon2 bindings for secure password hashing in Go!