Skip to content
You must be logged in to sponsor xamidi

Become a sponsor to xamidi

@xamidi

xamidi

Aachen, Germany

Sponsorings are used only for computer equipment and keeping me alive, so that I can better focus on open research and creating high-quality free and open-source software.
Feel free to ask related questions in this forum or via mail.

Featured work

  1. xamidi/pmGenerator

    An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

    C++ 22
  2. xamidi/mmsolitaire

    My contributions to Metamath's mmsolitaire project.

  3. xamidi/EliteRoadLoader

    Simple C# tool to load system names from files or user input, then traverse via single key presses.

    C# 4
  4. xamidi/github-stats-combinator

    Combine your dynamically generated GitHub stats and favourite trophies for a prettier display on your profile page.

    JavaScript 3

Select a tier

$ a month

Choose a custom amount.