Pinned Repositories
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
upx
UPX - the Ultimate Packer for eXecutables
eclipse.platform
fork with a splash image overview
EliteRoadLoader
Simple C# tool to load system names from files or user input, then traverse via single key presses.
GD_fullRainbow
github-followership-scammers
My list of followership scammers on GitHub.
github-stats-combinator
md-to-html
A web based markdown (md) to html converter
mmsolitaire
SD's contributions to Metamath's mmsolitaire project.
pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
xamidi's Repositories
xamidi/pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
xamidi/EliteRoadLoader
Simple C# tool to load system names from files or user input, then traverse via single key presses.
xamidi/GD_fullRainbow
xamidi/github-followership-scammers
My list of followership scammers on GitHub.
xamidi/mmsolitaire
SD's contributions to Metamath's mmsolitaire project.
xamidi/github-stats-combinator
xamidi/xamidi
xamidi/eclipse.platform
fork with a splash image overview
xamidi/md-to-html
A web based markdown (md) to html converter
xamidi/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
xamidi/pixel
Amtsprache ist Deutsch
xamidi/wxWidgets
Cross-Platform GUI Library - Report issues here: https://trac.wxwidgets.org/
xamidi/xamidi.github.io
xamidi/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.
xamidi/whosnotfollowing
❗️Who is not following you back on GitHub❓