Thanks to visit codestin.com
Credit goes to github.com

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.
Please 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/logic-structuralizer

    Convert logical formulas and generate their syntax trees as vector images in SVG format. Structuralize pure C-N formulas, pure D-proofs, and index-based summaries of pure D-proofs into a universal …

    JavaScript 9
  3. xamidi/mmsolitaire

    My contributions to Metamath's mmsolitaire project.

  4. xamidi/github-stats-combinator

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

    JavaScript 4
  5. xamidi/EliteRoadLoader

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

    C# 4
  6. HTML 2

Learn more about sponsoring developers and organizations.

Report abuse

Select a tier

$ a month

Choose a custom amount.