A implementation of NUTS in rust

Complete implementations from "Algorithms for Modern Hardware"

The TLA⁺ Proof Manager

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

Comprehensive roadmap for aspiring Embedded Systems Engineers, featuring a curated list of learning resources

Asynchronous Programming in Rust, published by Packt

A spicy text library for C++ that has the explicit goal of enabling the entire ecosystem to share in proper forward progress towards a bright Unicode future.

Deep Linux runtime visibility meets Wireshark

GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux

Lightweight Durable Python Workflows

Code auditing productivity multiplier.

State-of-the-art native debugging tools

Operating System Design Review: A systematic analysis of modern systems architecture

A native, user-mode, multi-process, graphical debugger.

C++20 coroutine library

Fast lossless data compression in C++

Suite for benchmarking malloc implementations.

The local version of the backend and UI for the gProfiler agent, featuring advanced flamegraph analysis tools.

Cista is a simple, high-performance, zero-copy C++ serialization & reflection library.

Async completion framework made ease.

Integer Map Data Structure

Event loop friendly C++ actor micro-framework, supervisable

Python Interactive CLI Fuzzy Finder

A curated list of awesome C frameworks, libraries, resources and other shiny things. Inspired by all the other awesome-... projects out there.

Automatic Generation of Visualizations and Infographics using Large Language Models

A library that makes it easy to create and display diagnostics of different kinds in the terminal.

High-performance regular expression matching library

Clone a voice in 5 seconds to generate arbitrary speech in real-time

A Pin Tool for tracing API calls etc

A low-latency, cloud-native KVS