.NET Interactive takes .NET and embeds it into your experiences
This is an active mirror of the KiCad development branch
Lean 4 programming language and theorem prover
Command-line shell and scripting language built on .NET
The Pi-hole FTL engine
Dear ImGui Bundle: easily create ImGui applications in Python and C++
Split screen video comparison tool using FFmpeg and SDL2
GoAccess is a real-time web log analyzer and interactive viewer
A functional, systems programming language with linear types
A monitor of resources
A Linux version of the Procmon Sysinternals tool
Python implementation for microcontrollers and constrained systems
matplotlib: plotting with Python
A minimalistic digital logic simulator
Optimize interaction with AI coding assistants
Multi-Joint dynamics with Contact. A general purpose physics simulator
GPU & Accelerator process monitoring for AMD, Apple, Huawei, Intel
Simple DirectMedia Layer
FDUPES is a program for identifying or deleting duplicate files
The Windows Package Manager Manifest Creator command-line tool
JUICE is a UDP Interactive Connectivity Establishment library
s&box is a modern game engine, built on Valve's Source 2
A data visualization and analytics component
Chocolatey - the package manager for Windows