Multicore OCaml

Monad morphisms

The engine for haskell ide-integration. Not an IDE

Fedora Remix for Windows Subsystem for Linux.

An implementation of DisplayPort protocol for FPGAs

A Verilog synthesis flow for Minecraft redstone circuits

Ghidra is a software reverse engineering (SRE) framework

OpenCL implementation running on the VideoCore IV GPU of the Raspberry Pi models

A Jupyter kernel for an ARM assembly intrepreter

Open source VPU side bootloader for Raspberry Pi.

A minimal kvm example

C++ Wrapper Around Linux System calls

A full-featured utility for managing Windows Subsystem for Linux (WSL)

Generic abstract algebra functionality in pure Julia (no C dependencies)

Julia support for native CUDA programming

The Scala 3 compiler, also known as Dotty.

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

A coloring book to help folks understand how SELinux works.

Windows paravirtualized drivers for QEMU\KVM

OpenVPN 3 Linux client

Postmodern immutable and persistent data structures for C++ — value semantics at scale

An open source flash player implementation

A modern formatting library