haansn08

AdguardFilters

AdGuard Content Blocking Filters

arbeitszeit.py

Keep track of your working hours the UNIX way - using plain text files

base-library

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-100-theorems

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

coq-basic-combinatorics

Coq-Combi

Algebraic Combinatorics in Coq

coq-library-complexity

coq-library-undecidability

A library of mechanised undecidability proofs in the Coq proof assistant.

CoqTM

Formalising Turing Machines In Coq

documentation

Documentaton about UnifiedPush

explore

Community-curated topic and collection pages on GitHub

external-ip-providers

A list of services which return your external IP address over HTTPS in a plain text format.

flora-sql-parser

Parse SQL (select) statements into abstract syntax tree (AST) and convert ASTs back to SQL.

flyspray

Flyspray Bug Tracking System

libexpat.github.io

:earth_americas: Code behind (redirecting http://www.libexpat.org/ and) https://libexpat.github.io/

miabis

modernxmpp

Modern XMPP usage guide for client and library developers

multinomials

Multinomials for the Mathematical Components library.

name-suggestion-index

Canonical common brand names, operators, transit and flags for OpenStreetMap.

omemo-top

Tracking the Progress of OMEMO Integration in various clients

OpenBeerMap.github.io

Visualiser et éditer les bières pressions disponibles dans les bars.

osm-community-index

:speech_balloon: An index of community resources for OpenStreetMap

pkgstats.archlinux.de

Arch Linux package statistics website

vobject

A full-featured Python package for parsing and creating iCalendar and vCard files

xmpp-servers