Lists (2)
Stars
Real-time global intelligence dashboard. AI-powered news aggregation, geopolitical monitoring, and infrastructure tracking in a unified situational awareness interface
jjui is a TUI designed for interacting with the Jujutsu version control system.
SécurixOS is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven co…
A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)
Modern Bazel rules for building OCI container images with advanced performance optimizations
⚡ A fast Git hook manager written in Rust, designed as a drop-in alternative to pre-commit, reimagined.
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 ⚙️
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.
An LSP implementation for Starlark, the configuration language used by Bazel and Buck2.
A Git-compatible VCS that is both simple and powerful
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.
Inspecting tool for GHC compilation pipeline