Lean's LEDE source

A simple and easy-to-use library to enjoy videogames programming

High-performance, scalable time-series database designed for Industrial IoT (IIoT) scenarios

AddressSanitizer, ThreadSanitizer, MemorySanitizer

mimalloc is a compact general purpose allocator with excellent performance.

Samples for CUDA Developers which demonstrates features in CUDA Toolkit

A Small C Compiler

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

BLAS-like Library Instantiation Software Framework

Quadsort is a branchless stable adaptive mergesort faster than quicksort.

Algebraic data types for C99

Hide a process under Linux using the ld preloader (https://sysdig.com/blog/hiding-linux-processes-for-fun-and-profit/)

Full-blown preprocessor metaprogramming

🍀 The Nature Programming Language, may you be able to experience the joy of programming.

Parallel solvers for sparse linear systems featuring multigrid methods.

Simple compile-time raytracer using C++17

graph based intermediate representation and backend for optimising compilers

VisIt - Visualization and Data Analysis for Mesh-based Scientific Data

C99 parser and frontend for libfirm

A recursive C preprocessor macro which performs an operation on each element of a list

The "p4est" forest-of-octrees library

GitHub Action for clang-format checking

A recursive C preprocessor macro which performs an operation on each element of a list