Frida core library intended for static linking into bindings

Cross-platform instrumentation and introspection library written in C

Modern cross-platform telemetry

A library to draw pixels in bevy

Depending on the platform, bump a thread priority so that it's suitable for real-time audio

View ETW Provider manifest

Command-line sampling profiler for macOS and Linux

User interface for recording and managing ETW traces

Make USB power meters usable with the Firefox Profiler

Ghidra is a software reverse engineering (SRE) framework

All reasonably stable tools

Collection of batch scripts utilities for Windows

extract and parse WEVT_TEMPLATEs from PE files

Command line tools and library for interacting with Crash Stats (https://crash-stats.mozilla.org/)

Socorro is the Mozilla crash ingestion pipeline. It accepts and processes Breakpad-style crash reports. It provides analysis tools.

Mozilla Symbol Server

KrabsETW provides a modern C++ wrapper and a .NET wrapper around the low-level ETW trace consumption functions.

Virtual Machine Introspection, Tracing & Debugging

A free Windows-compatible Operating System

Sysmon-Like research tool for ETW

Run Processes as PPL with ELAM

Basically a KrabsETW rip-off written in Rust

pulp: process your LaTeX log file with pulp and make a better paper

A static website compiler library in Haskell

Pond

A language that compiles to Bash and Windows Batch

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

A Proof-oriented Programming Language