Lists (6)
Sort Name ascending (A-Z)
Stars
An open-source RAG-based tool for chatting with your documents.
Generates cheatsheets for your (favourite) apps
An interactive Kubernetes log viewer for your terminal.
Drop-in switcher for previewing minimal CSS frameworks
AppServer for containerized web app development and deployment
Tiny status page generated by a Python script
A container registry backed by Workers and R2.
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
An open-source authorization as a service inspired by Google Zanzibar, designed to build and manage fine-grained and scalable authorization systems for any application.
Open Source Alternative to Vercel, Netlify and Heroku.
Deep learning for dummies. All the practical details and useful utilities that go into working with real models.
Vimtutor Sequel - Advanced Vim Tutor Lessons
CNC is the first framework for precision platform engineering
kaskade is a text user interface for kafka, which allows you to interact and consume topics from your terminal in style!
The modern API client that lives in your terminal.
A tool for analyzing the size of compiled Go binaries, offering cross-platform support, detailed breakdowns, and multiple output formats.
Fearlessly share infra secrets in git by combining sops + github ssh keys
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely …
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
A ssh server that knows who you are. $ ssh whoami.filippo.io
A containerd snapshotter plugin which enables standard OCI images to be lazily loaded without requiring a build-time conversion step.
Generates images that can be used for 2.5D animation
Tools for managing DNS across multiple providers
magically playful, yet simple styling. all in one file.
Modern, privacy-friendly, and detailed web analytics that works without cookies or JS.
A workout tracking web application for personal use (or family, friends), geared towards running and other GPX-based activities