xamidi's repositories
pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
EliteRoadLoader
Simple C# tool to load system names from files or user input, then traverse via single key presses.
github-followership-scammers
My list of followership scammers on GitHub.
mmsolitaire
SD's contributions to Metamath's mmsolitaire project.
eclipse.platform
fork with a splash image overview
Language:JavaEPL-2.0000
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
Language:HTMLNOASSERTION000
pixel
Amtsprache ist Deutsch
Language:HTML000
whosnotfollowing
❗️Who is not following you back on GitHub❓
Language:HTML000