AWS SSM SSH Proxy Command

Plugin to improve viewing Markdown files in Neovim

An open-source RAG-based tool for chatting with your documents.

OpenAL Soft is a software implementation of the OpenAL 3D audio API.

Reimplementation of Gothic 2 Notr

Terminal emulator by KDE

OBS Studio - Free and open source software for live streaming and screen recording

Gothic 1/2(and their mods) savegames editor

A basic desktop alternative to Microsoft Project to help automate project design.

A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input

The Radeon GPU Analyzer (RGA) is an offline compiler and code analysis tool for Vulkan, DirectX, OpenGL, and OpenCL.

Lean 4 programming language and theorem prover

The "batteries included" extended library for the Lean programming language and theorem prover

Backblaze Reed-Solomon Implementation in Java

"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files

pre-commit git hooks to take care of Terraform configurations 🇺🇦

Free DirectMusic file formats loading utilities

FDUPES is a program for identifying or deleting duplicate files residing within specified directories.

Autotile manager for Plasma 6

Deduplicating archiver with compression and authenticated encryption.

An unofficial WhatsApp desktop application for Linux.

Focus on prompting and generating

Embedded Controller firmware for the Framework Laptop

System76 Open Firmware

A configuration manager for Arch Linux

Ready-to-use SRT / WebRTC / RTSP / RTMP / LL-HLS media server and media proxy that allows to read, publish, proxy, record and playback video and audio streams.

A Galaga clone written for an introductory programming course.

A Pylint plugin to suppress pytest-related false positives.

Make vim follow your system-wide dark mode preference

syzkaller is an unsupervised coverage-guided kernel fuzzer