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
oneTBB
oneAPI Threading Building Blocks (oneTBB)
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.
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.
mmsolitaire
My 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/github-followership-scammers
My list of followership scammers on GitHub.
xamidi/mmsolitaire
My contributions to Metamath's mmsolitaire project.
xamidi/EliteRoadLoader
Simple C# tool to load system names from files or user input, then traverse via single key presses.
xamidi/github-stats-combinator
Combine your dynamically generated GitHub stats and favourite trophies for a prettier display on your profile page.
xamidi/interactive-svg-graphs
Exemplary interactive SVG animations to illustrate labelled directed graphs.
xamidi/GD_fullRainbow
xamidi/to-hours
Simple online conversion tool. Reformat durations from D⁺-H⁺:M⁺:S⁺ to H⁺[.H⁺], e.g. 42-1:33:7 ↦ 1009.5519444…
xamidi/grok3-breakout
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❓