xamidi's repositories
pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
github-followership-scammers
My list of followership scammers on GitHub.
mmsolitaire
My contributions to Metamath's mmsolitaire project.
EliteRoadLoader
Simple C# tool to load system names from files or user input, then traverse via single key presses.
github-stats-combinator
Combine your dynamically generated GitHub stats and favourite trophies for a prettier display on your profile page.
interactive-svg-graphs
Exemplary interactive SVG animations to illustrate labelled directed graphs.
eclipse.platform
fork with a splash image overview
md-to-html
A web based markdown (md) to html converter
metamath-website-seed
Starting seed files for metamath public website. The website starts with these and then uses generation scripts to generate other files from the .mm files
pixel
Amtsprache ist Deutsch
metamath-website-scripts
Scripts to set up the metamath website(s) so they're under version control, can be reviewed, and can be rerun. The scripts download the seed files from metamath-website-seed, databases from set.mm, etc.
whosnotfollowing
❗️Who is not following you back on GitHub❓