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

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

libavif - Library for encoding and decoding .avif files

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 line of WCH processors, including the ch32v003, a 10¢ 48 MHz RISC-V Microcontroller - as well as many other chips within the ch32v/x line.

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

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

Spectre attack against SGX enclave

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

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.

Argon2 bindings for secure password hashing in Go!

Minimal but open SDK for developing small command line tools.