Stars
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Intero…
MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devices in order to find signs of a potential compromise.
DNS over HTTPS / DNS over Tor / DNSCrypt client, WireGuard proxifier, firewall, and connection tracker for Android.
A CLI-tool to diff Keepass (.kdbx) files. Useful, if syncing with Dropbox or NextCloud and getting multiple files due to conflicts.
A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search
Compiler for the Vale programming language - http://vale.dev/
A novel Android app store focused on security, privacy, and usability
A sleek and simple calendar for terminal enthusiasts.
Text UI for Jujutsu based on fzf, centering around the jj log with key bindings for common operations
A hackable markdown, Typst, latex, html(inline) & YAML previewer for Neovim
Borgo is a statically typed language that compiles to Go.
Bananas🍌, Cross-Platform screen 🖥️ sharing 📡 made simple ⚡.
screen sharing for developers https://screego.net/
A stateful strace-like - Linux syscall tampering-first strace-like tool.
A beautiful, customisable New Tab page for Firefox, Chrome, and Edge.
Scopes your command history to the current working directory
Kyanos is a networking analysis tool using eBPF. It can visualize the time packets spend in the kernel, capture requests/responses, makes troubleshooting more efficient.
Examples to illustrate the use of algebraic effects in Multicore OCaml
Concurrent Programming with Effect Handlers
Interactive find and replace in the terminal