Make UI prototypes natively in GitHub Copilot and VS Code

A high-performance immutable mapping type for Python.

Multi-probe consistent hashing

Lean 4 programming language and theorem prover

Embed Python in .NET

Microsoft Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas

Tools for finding Busy Beaver Turing Machines and Proving others as non-halting

Free IDE for Kubernetes

Convergence verification of the Collatz problem

⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!

This repository documents changes to Azure RBAC roles, by periodically fetching the definitions of the roles using Get-AzRoleDefinition and committing the results to this repository.

A commenting system powered by GitHub Discussions. 💬 💎

Userspace eBPF runtime for Observability, Network, GPU & General Extensions Framework

CLI tool to perform cost analysis on your Azure subscription

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

Create Systemtap's USDT probes at runtime

A BPF-based syscall fault injector

A vector search SQLite extension that runs anywhere!

Simple perfect hashing in Python

Examples and hands-on labs for Linux tracing tools workshops

Python wrapper for libstapsdt

A Textual widget wrapper library for Plotext

A personal project to gather up links to as many Textual sources, libraries and applications as possible.

Tunnel relay allows you to expose local services to the outside world over HTTPS

A hacky debugger UI for hackers

💚 End-to-end encrypted cloud for everything.

ASCIIFlow

eBPF based always-on CPU/GPU profiler auto-discovering targets in Kubernetes and systemd, zero code changes or restarts needed!

Example of how to trace mmap page faults in linux