SQL-only webapp builder, empowering data analysts to build websites and applications quickly

A work-in-progress garbage collector for Guile

the easiest git collaboration tool

Truly independent web browser

TypeCobol is an Incremental Cobol parser for IBM Enterprise Cobol 6 for zOS syntax. TypeCobol is also an extension of Cobol 85 language which can then be converted to Cobol85.

A key remapping daemon for linux.

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

TUI Matrix client in Rust.

A self-hosted podcast manager/downloader/archiver tool to download podcast episodes as soon as they become live with an integrated player.

IRC gateway for slack, running on localhost for one user. The project is now on codeberg.

Static site generator in Nix expression language.

Admin Web Interface for juanfont/headscale

Control all your tooling from a single console

A keyboard-driven, vim-like browser based on Python and Qt.

Run your GitHub Actions locally 🚀

A sleek and minimalist ePaper calendar using ESPHome.

An open source and lightweight music client for Subsonic, designed and built natively for Android.

Proxy server to bypass Cloudflare protection

Simple Weechat-Relay Android Client

browser-based client for watching Youtube anonymously and with greater page performance

Play Hattrick in your terminal over SSH

Magisk/KernelSU module for running Tailscale on rooted Android devices. The easiest, most secure way to use WireGuard and 2FA.

install nixos everywhere via ssh [maintainer=@numtide]

Minimal NixOS running on RK3588/RK3588s based SBC(Orange Pi 5 Plus, Orange Pi 5, Rock 5A, etc)

A screen-sharing / remote collaboration software written in Rust

Construct graphs from parsed source code

Bazzite is a custom image built upon Fedora Atomic Desktops that brings the best of Linux gaming to all of your devices - including your favorite handheld.

Painless userscripts for qutebrowser.