ChrisTitusTech / winutil

Chris Titus Tech's Windows Utility - Install Programs, Tweaks, Fixes, and Updates

IridiumIO / CompactGUI

Reduce the space taken up by games and programs on disk by using native Windows APIs

NobleLarvaCharge / SystemCare-Pro

Systemcare Pro 2025: Full working installer for all system optimization tasks, ready to run on your desktop.

CycloneSeamanQuicken / Adobe-Audition

Advanced Audio Workbench 2025 complete standalone setup. Secure digital asset deployment pipeline ready to run.

ramensoftware / windhawk

The customization marketplace for Windows programs: https://windhawk.net/

Jose-Gael-Cruz-Lopez / underclassmen-opportunities

The Underclassmen Opportunities repository is a curated list of internships, programs and resources aimed at freshmen and sophomores in tech‐related majors. The README explains that many companies have early‑career programs that do not require prior experience, and this project aggregates those opportunities for easy discovery.

EpicGames / raddebugger

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

model-checking / kani

A model checker for Rust programs.

AeneasVerif / aeneas

A verification toolchain for Rust programs

jax-ml / jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

pegainfer-project / kern

A model-agnostic GPU runtime for shipping models as verified programs.

NethermindEth / LeanCIL

LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.

3dg1luk43 / ha_washdata

Home Assistant integration for smart-plug appliance monitoring: detects cycles, matches programs, estimates time remaining. Supports washing machines, dryers, dishwashers and more.

shahidazam2020-oss / Digital-Image-Processing

A collection of Digital Image Processing programs developed in MATLAB. This repository includes image enhancement, filtering, edge detection, histogram equalization, segmentation, morphological operations, image transformations, and other core image processing techniques.

sourcey / startup-credits

Startup credits, offers and programs on the Sourcey record. Canonical YAML, every entry cited to the company's own page.

benfred / py-spy

Sampling profiler for Python programs

hackclub / putting-the-you-in-cpu

A technical explainer by @kognise of how your computer runs programs, from start to finish.

jplag / JPlag

State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.

leachim6 / hello-world

Hello world in every computer language. Thanks to everyone who contributes to this, make sure to see contributing.md for contribution instructions!

dosemu2 / dosemu2

Run DOS programs under linux:

Shyboy0499 / precondition-library

An agent that compiles git maintenance chores into reusable programs, then decides whether to replay them by running checks rather than by guessing the task looks familiar

josevalim / lynx

Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)

FNCache-project / FNCache

FNCache is an eBPF-based network acceleration plugin for Kubernetes container networks.

tmc / langchaingo

LangChain for Go, the easiest way to write LLM-based programs in Go

techiescamp / linux-foundation-coupon

Latest Linux Foundation Coupon Codes For Certification, Courses, Skillcreds, IT Professional Programs and Skillcreds

facebook / hhvm

A virtual machine for executing programs written in Hack.

pyinstaller / pyinstaller

Freeze (package) Python programs into stand-alone executables

erikw / vim-keybindings-everywhere-the-ultimate-list

The ultimate list of which programs support Vim-like keybindings natively, or how they can be added with extensions. A collaborative project.

termux / termux-tools

Scripts and small programs that are packaged into termux's termux-tools package

privacyguides / privacyguides.org

Protect your data against global mass surveillance programs.

qosf / awesome-quantum-software

Curated list of open-source quantum software projects.

formal-land / rocq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

anza-xyz / pinocchio

Create Solana programs with no external dependencies attached

facebookresearch / ProgramBench

Can Language Models Rebuild Programs From Scratch?

jackboykin / laminix

laminix makes programs on NixOS find their files faster, without recompiling them

microsoft / DirectXShaderCompiler

This repo hosts the source for the DirectX Shader Compiler which is based on LLVM/Clang.

inspektor-gadget / inspektor-gadget

Inspektor Gadget is a set of tools and framework for data collection and system inspection on Kubernetes clusters and Linux hosts using eBPF

generative-computing / mellea

Mellea is a library for writing generative programs.

succinctlabs / sp1

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

facebookexperimental / hermit

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

caiiiycuk / js-dos

The best API for running dos programs in browser

solana-playground / solana-playground

Quickly develop, deploy and test Solana programs from browsers

dbreunig / building-with-jev-skill

A skill for writing and improving programs that call Jev, TypeSafe's System One model

evoke-build / evoke

Software, by reflex. An open runtime that turns human intent into inspectable plans across small, composable programs, with explicit permissions and human approval before irreversible actions.

cilium / ebpf

ebpf-go is a pure-Go library to read, modify and load eBPF programs and attach them to various hooks in the Linux kernel.

swig / swig

SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.

parca-dev / parca

Continuous profiling for analysis of CPU and memory usage, down to the line number and throughout time. Saving infrastructure cost, improving performance, and increasing reliability.

inotify-tools / inotify-tools

inotify-tools is a library and a set of command-line programs providing a simple interface to inotify.

jump-dev / JuMP.jl

Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)

jbangdev / jbang

Unleash the power of Java - JBang Lets Students, Educators and Professional Developers create, edit and run self-contained source-only Java programs with unprecedented ease.

docker / docker-credential-helpers

Programs to keep Docker login credentials safe by storing in platform keystores

adafruit / Adafruit_Learning_System_Guides

Programs and scripts to display "inline" in Adafruit Learning System guides

danoon2 / Boxedwine

Emulator that can run 32-bit Windows programs/games on multiple platforms via Wine

AsahiLinux / muvm

muvm - run programs from your system in a microVM

hhoppe / Mesh-processing-library

C++ libraries and programs demonstrating mesh processing research published in ACM SIGGRAPH (1992-2003)

potassco / clingo

🦉 A grounder and solver for logic programs.

SimonKagstrom / kcov

Code coverage tool for compiled programs, Python and Bash which uses debugging information to collect and report data without special compilation options

Dushistov / flapigen-rs

Tool for connecting programs or libraries written in Rust with other languages

sudheerj / datastructures-algorithms

List of Programs related to data structures and algorithms

mandiant / capa-rules

Standard collection of rules for capa: the tool for enumerating the capabilities of programs