alphatroya
Follow
Stars
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs!
a command-line program for tracking sunrise and sunset times
A native macOS app that allows users to chat with a local LLM that can respond with information from files, folders and websites on your Mac without installing any other software. Powered by llama.…
Rmt is similar to the rm command but saves the deleted elements in the trash and restores them. Rmt is written in Rust 🦀
Text UI for Jujutsu based on fzf, centering around the jj log with key bindings for common operations
🖋️ Highly extensible journaling system for Neovim
An nvim plugin to enable creating periodic notes.
CLI tool to convert a natural language date/time string to UTC
Turn an openapi specification into hurl files
like jq but for Markdown: find specific elements in a md doc
An open source project management platform focused on simplicity and efficiency. Self-host it, customize it, make it yours. 🚀
Timewarrior - Commandline Time Tracking and Reporting
Manage your dotfiles across multiple diverse machines, securely.
Weave your codebase into a single, navigable Markdown document
Self hosted FLOSS fitness/workout, nutrition and weight tracker
Cross-platform Rust rewrite of the GNU coreutils
A lightweight CLI and local API server to create, run and manage macOS and Linux virtual machines (VMs) natively on Apple Silicon.
AeroSpace is an i3-like tiling window manager for macOS
FlashSpace is a blazingly fast virtual workspace manager for macOS ⚡
📦 Watcher, bundler, and test runner for your SwiftWasm apps
macOS and Linux VMs on Apple Silicon to use in CI and other automations
A universal solution to persistence and data sharing in surprisingly little code.
Your browser anime experience from the terminal
A utf8 text rope for manipulating and editing large texts.