Stars
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
QOwnNotes is a plain-text file notepad and todo-list manager with Markdown support and Nextcloud / ownCloud integration.
"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files
A command-line productivity tool powered by AI large language models like GPT-5, will help you accomplish your tasks faster and more efficiently.
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Duplicates finder for various source code formats.
USBGuard is a software framework for implementing USB device authorization policies (what kind of USB devices are authorized) as well as method of use policies (how a USB device may interact with t…
A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree
C++11/14/17 std::expected with functional-style extensions
Momentum Mod - Standalone Source Movement Speedrunning (READ README)
tiny, portable SOCKS5 server with very moderate resource usage
An self-improving embodied conversational agent seamlessly integrated into the operating system to automate our daily tasks.
Alternative launcher for Plasma with a more complete set of features compared to the default
Simple Android personal task manager with Taskwarrior integration
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Yet another keyboard remapping tool for X environment
GNOME interface for USBGuard with the aim to be intuitive, informative and as low interaction as possible.
Sourcetrail - free and open-source interactive source explorer
A dependently typed programming language, a successor to Idris
Qt applet for interacting with the usbguard daemon.