-
@red6 enterprise software
- Hamburg, Germany
-
13:26
(UTC +02:00) - https://pascal-wittmann.de
- https://codeberg.org/pSub
Lists (2)
Sort Name ascending (A-Z)
Stars
The CNCF sandbox for observability visualisation. Already supports Prometheus, Tempo, Loki and Pyroscope - more data sources to come!
Practical and Powerful wayland compositor (dwm but wayland)
The minimalistic document archiving platform.
Lean 4 programming language and theorem prover
Enterprise-grade AI Slop Detection for JVM-based Transformation Narratives
Your self-hosted, globally interconnected microblogging community
Find, verify, and analyze leaked credentials
🎁 A pluggable Git LFS server written in Python. Highly customizable and easy to extend.
Generate flake.nix from module options. Input and Output schemas. Works with flakes, unflake, npins or tack
Very basic IoT thermometer with REST API and web UI, based on ESP8266 hardware (WeMos D1 mini)
Internet-in-a-Box - Build your own LIBRARY OF ALEXANDRIA with a Raspberry Pi !
reverse engineering Gemini's SynthID detection
Passbolt Community Edition (CE) API. The JSON API for the open source password manager for teams!
A high-performance, caching Git LFS server with an AWS S3 and local storage back-end.
Quickly clean up unused forks on your github account.
Browser extension that simplifies the GitHub interface and adds useful features
Woodpecker configuration Service to dynamically generate pipelines from nix flakes
A terminal workspace with batteries included
A secure and efficient file backup solution that fits both system administrators (CLI) and end users (GUI)
🍪 A full-featured, hackable tiling window manager written and configured in Python (X11 + Wayland)