Karabiner-Elements is a powerful tool for customizing keyboards on macOS

The Z3 Theorem Prover

A retargetable MLIR-based machine learning compiler and runtime toolkit.

A collection of out-of-tree LLVM passes for teaching and learning

Descent 3 by Outrage Entertainment

C++ wrappers for SIMD intrinsics and parallelized, optimized mathematical functions (SSE, AVX, AVX512, NEON, SVE, WebAssembly, VSX, RISC-V))

A memory allocator that automatically reduces the memory footprint of C/C++ applications.

langcc: A Next-Generation Compiler Compiler

SIMD Vector Classes for C++

Pitchfork is a Set of C++ Project Conventions

Handwritten math expression parser

ASL libraries will be migrated here in the stlab namespace, new libraries will be created here.

Sourcetrail - free and open-source interactive source explorer

Fundamental C++ SIMD types for Intel CPUs (sse, avx, avx2, avx512)

Vulkan compute for people

The Finch programming language

ScanTailor Advanced is the version that merges the features of the ScanTailor Featured and ScanTailor Enhanced versions, brings new ones and fixes.

USB host to Arduino Interface with the Cheap CH559 uC

Companion source code for "Programming with C++20 - Concepts, Coroutines, Ranges, and more"

The Colm Programming Language

Header-only C++ program options parser library

Language based on Rewriting Logic

Feral programming language reference implementation

Experiments with the C++ programming language.

A Parallel SAT Solver with GPU Accelerated Inprocessing

USB Composite Device Demo (Keyboard, Custom HID and Massive Storage) using CH55x

Fast and robust 2D nesting

Motorolla Mobile Data Terminal MDT9100 interface for the BeagleBone Black

Arduino based Enigma Machine

This is the base firmware for Reflowster. Use this to perform basic reflow soldering using your Reflowster.