Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Collection of publicly available IPTV channels from all over the world

Symbolic execution tool

Database of CPU Opcodes

HAProxy Load Balancer's development branch (mirror of git.haproxy.org)

Transmits AM radio on computers without radio transmitting hardware.

A minimal implementation of the REST interface used to communicate with D-Wave Solver API (SAPI) servers.

The Julia Programming Language

The Fast Lexical Analyzer - scanner generator for lexing in C and C++

Video discussing this curriculum:

A Parser Combinator library for C

a small build system with a focus on speed

An API for easily incorporating the D-Wave system as a sampler, either directly or through Leap's cloud-based hybrid samplers

Scapy: the Python-based interactive packet manipulation program & library.

Higher level programming in C

The fundamental package for scientific computing with Python.

The Go programming language

Open source binary analysis tools.

PicoTCP is a free TCP/IP stack implementation

Reference implementation of the Picnic post-quantum signature scheme

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Q# compiler, command line tool, and Q# language server

Q# libraries for the Quantum Development Kit

A powerful and user-friendly binary analysis platform!

NLTK Source

GNU Bison

A library of generic data structures for the C language.

Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platfo…

The systemd System and Service Manager

Portable OpenSSH