Code to automatically prove or verify estimates in analysis

pix2tex: Using a ViT to convert images of equations into LaTeX code.

Gnome has had vertically stacked workspaces for a long time. The Gnome 40 update unfortunately made the switch to a horizontal layout. A choice that many Gnome users disagree with. This extension c…

Create GNOME Shell extensions in seconds

An appindicator applet to show how long you have until your next meeting

Financial data platform for analysts, quants and AI agents.

PyQt widgets for working with the Open Science Framework API. Read the docs at

Pelican blog theme.

An AMS-LaTeX compatible converter that maps a subset of LaTeX to Markdown/MathJaX.

Take potentially dangerous PDFs, office documents, or images and convert them to a safe PDF

A repository that contains data and scripts for the 'Calculus of Tracking: Theory and Practice' paper

Distributed Artificial Intelligence

Visualize the corona-outbreak in our area, region or country and simulate its spread in the nearest futures. Help COVID19 crisis teams identify future shortages such as ICUs & remedial actions.

A list of microgrant programs for your good ideas

Python Protocol Simulator

Network Simulator in Python

a Qt-based GUI for SecureDrop journalists 📰🗞️

Etherpad: A modern really-real-time collaborative document editor.

Lattice algorithms using floating-point arithmetic

GitHub Link Card Creator lets you generate GitHub images has links to repositories.

Distributed Peer-to-Peer Web Search Engine and Intranet Search Appliance

The unofficial GitHub Cards. Card for your GitHub profile, card for your GitHub repositories.

Course notes for Pure Mathematics Topic D 2019

A Makefile for LaTeX - drop it in, type make, and magic happens.

A light version of Tor portable to the browser

A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety

ECDSA based construction for Anonymous Multi-Hop Locks (https://eprint.iacr.org/2018/472.pdf)