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