property testing and verification front-end for Rust

rand_core: core random number generation traits

Nix Packages collection

PEP 561 Typing Stubs for PyGObject

Universal markup converter

Rust bindings to the Android NDK

Nette Framework class reflection extension for PHPStan & framework-specific rules

NixOS configurations for nixos.org and its servers

Host for Linux system containers based on NixOS, ZFS and LXC

A simple Atom/RSS parsing library for PHP

static analysis of C/C++ code

Advanced configuration options for sockets.

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Development repository for Rector

GNOME Shell extension showing a video preview on the corner of the screen

Flarum chat for pushedx.net

Documentation and website content.

Pytrainer is a tool to log all your sport excursion coming from GPS devices (with a focus on ForeRunner) or GPX (http://www.topografix.com) files. Pytrainer supports GPS track files and displays it…

php-mf2 is a pure, generic microformats-2 parser for PHP. It makes HTML as easy to consume as JSON.

2025 Election for the Steering Committee

Standards compliant HTML filter written in PHP

Fetch OEembed data from websites and generate HTML with configurable attributes.

Programmable completion functions for bash

Xiphos is a Bible study tool written for Linux, UNIX, and Windows using GTK, offering a rich and featureful environment for reading, study, and research using modules from The SWORD Project and els…