Pinned Repositories
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.
haansn08's Repositories
haansn08/AdguardFilters
AdGuard Content Blocking Filters
haansn08/arbeitszeit.py
Keep track of your working hours the UNIX way - using plain text files
haansn08/base-library
haansn08/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.
haansn08/coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
haansn08/coq-basic-combinatorics
haansn08/Coq-Combi
Algebraic Combinatorics in Coq
haansn08/coq-library-complexity
haansn08/coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
haansn08/CoqTM
Formalising Turing Machines In Coq
haansn08/documentation
Documentaton about UnifiedPush
haansn08/explore
Community-curated topic and collection pages on GitHub
haansn08/external-ip-providers
A list of services which return your external IP address over HTTPS in a plain text format.
haansn08/flora-sql-parser
Parse SQL (select) statements into abstract syntax tree (AST) and convert ASTs back to SQL.
haansn08/flyspray
Flyspray Bug Tracking System
haansn08/garbled-circuit
A two-party secure function evaluation using Yao's garbled circuit protocol
haansn08/libexpat.github.io
:earth_americas: Code behind (redirecting http://www.libexpat.org/ and) https://libexpat.github.io/
haansn08/miabis
haansn08/modernxmpp
Modern XMPP usage guide for client and library developers
haansn08/multinomials
Multinomials for the Mathematical Components library.
haansn08/name-suggestion-index
Canonical common brand names, operators, transit and flags for OpenStreetMap.
haansn08/omemo-top
Tracking the Progress of OMEMO Integration in various clients
haansn08/OpenBeerMap.github.io
Visualiser et éditer les bières pressions disponibles dans les bars.
haansn08/osm-community-index
:speech_balloon: An index of community resources for OpenStreetMap
haansn08/pkgstats.archlinux.de
Arch Linux package statistics website
haansn08/vobject
A full-featured Python package for parsing and creating iCalendar and vCard files
haansn08/xmpp-servers