A plain text note-taking assistant

Infinite canvas notes in the Poincaré disk

Generate and maintain Nix packages from gazebodistro & ROS package.xmls

Sketch and take handwritten notes.

OCaml implementation of the KDL Document Language

Find And Replace plugin for neovim

Symbolic programming for the next generation of numerical software

Undo. Redo. Time travel. Take control of your edit history with an interactive timeline, diff previews, taggings, live reloading trees and cleanup functions.

Add/change/delete surrounding delimiter pairs with ease. Written with ❤️ in Lua.

Systemd Hardening Helper - Automatic systemd service hardening guided by strace profiling

A Gleam web framework for building HTML templates, single page applications, and real-time server components.

A scrollable-tiling Wayland compositor.

A rust crate to create a pure rust keyboard firmware.

Read the wired or wireless mbus protocol to acquire utility meter readings.

Python Type Checker / Language Server

Space exploration, trading, and combat game.

Keymini, a minimalist ergonomic keyboard.

Weighs the soul of incoming HTTP requests to stop AI crawlers

Yet another cross-platform graphical process/system monitor.

🆔 The easy-to-use OpenStreetMap editor in JavaScript.

JSON output from a shell

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are disabled. Please only use release tarballs from the QEMU website.

Kanidm: A simple, secure, and fast identity management platform

High performance self-hosted photo and video management solution.

🍃 Organic Maps is a free Android & iOS offline maps app for more than 6M travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the commun…

A QML-based shopping list application

A Colemak-style keyboard layout for French-speaking typists and programmers.

A privacy-conscious Android keyboard made for your thumbs

Super Productivity is an advanced todo list app with integrated Timeboxing and time tracking capabilities. It also comes with integrations for Jira, GitLab, GitHub and Open Project.