Ein Plugin mit dem Sendungen von den Mediatheken der Öffentlich Rechtlichen heruntergladen werden können.

Cubism.js: A JavaScript library for time series visualization.

Coq based JSON-Schema to SMT system.

💾 Self-hosted online file converter. Supports 1000+ formats ⚙️

An HTTP client library

A colorful ls command, with awesome icons.

pinact is a CLI to edit GitHub Workflow and Composite action files and pin versions of Actions and Reusable Workflows. pinact can also update their versions and verify version annotations.

A scrollable-tiling Wayland compositor.

An LSP implementation for Starlark, the configuration language used by Bazel and Buck2.

A Git-compatible VCS that is both simple and powerful

Quick Share client for Linux

Intel Engine & Graphics Firmware Analysis Tool

KVM Backend for VirtualBox. With our current development model, we cannot easily accept pull requests here. If you'd like to contribute, feel free to reach out to us, we are happy to find a solution.

Build system, successor to Buck

GitHub Configuration as Code

Graphical frontend for objdump

Inspecting tool for GHC compilation pipeline

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

sonos SMAPI implementation allowing integrating different music sources with sonos.

Haskell implemented with combinators

Emacs integration for https://exercism.org

An Emacs command for updating fetch declarations in place

Like cURL, but for gRPC: Command-line tool for interacting with gRPC servers

Tracer for execve{,at} and pre-exec behavior, launcher for debuggers.

Put Nix in everything!

a small self-contained source filtering lib

🧛🏻‍♂️ Dark theme for Emacs

A CLI tool to extract the graph of derivations from a Nix flake.

docker images from nixpkgs [maintainer=@zimbatm]