Build production-ready applications in TypeScript
Sourcegraph with Docker Compose deployment reference
A Docker Container to easily run a Palworld dedicated server.
Script extender for The Binding of Isaac: Repentance
Ansible role to configure the OpenSSH server daemon
Arduino command line tool
WinDirStat is a disk usage statistics viewer and cleanup tool for Microsoft Windows
Run GLM-5.2 (744B MoE) on a 25GB-RAM consumer machine — pure C, zero deps, experts streamed from disk. Tiny engine, immense model. 🐦
Quarkus Platform aggregates extensions from Quarkus Core and those developed by the community into a single compatible and versioned set that application developers can reference from their applications to align the dependency versions
Provide scrapers for all major Israeli banks and credit card companies
Install a full Linux desktop environment on your Android device with Termux X11 ( VNC optional) and also enable hardware acceleration
Cognee is the open-source AI memory platform for agents. Give your AI agents persistent long-term memory across sessions with a self-hosted knowledge graph engine.
eBPF-driven diagnostic tool for Kubernetes applications 🐝
KubeBuddy - A PowerShell tool for monitoring and managing Kubernetes clusters. Perform health checks, resource usage insights, and configuration audits with ease. Supports AKS best practices, snapshot-based monitoring, and security checks tailored for Kubernetes environments. Available on the PowerShell Gallery.
Julia package for simulating Dynamics on Networks
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
A custom, configurable drag-and-drop smart display system
CPU-X is a Free software that gathers information on CPU, motherboard and more