Stars
Dafny is a verification-aware programming language
A modern and intuitive terminal-based text editor
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Staging repo for development of native port of TypeScript
Protocol and libraries for sending and receiving OpenTelemetry data using Apache Arrow
Protocol Buffers for JavaScript & TypeScript.
A simple, lightweight PowerShell script to remove pre-installed apps, disable telemetry, as well as perform various other changes to customize, declutter and improve your Windows experience. Win11D…
Modular cross-platform firmware for digital or mixed analog/digital game controllers
Joybus protocol (Gamecube controller) implementation for the Raspberry Pi Pico (ARM Cortex M0+). Translates modelized Gamecube controller states to GPIO based on the B0XX/F1 layout.
MTuner is a C/C++ memory profiler and memory leak finder for Windows, PlayStation 3/4/5, Nintendo Switch, Android and other platforms
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
An easy-to-use recorder and viewer for high-performance traces
A pure-rust protobuf compiler, designed for use with prost-build
Cloud-native search engine for observability. An open-source alternative to Datadog, Elasticsearch, Loki, and Tempo.
A minimal tracing system that integrates Serilog with System.Diagnostics.Activity.
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
OpenTelemetry protocol (OTLP) specification and Protobuf definitions
Streaming JSON reader and writer written in Rust
This application allows you to put various limits on Windows processes.
An arbitrary-precision arithmetic library for Rust.
Heapless, `static` friendly data structures