Welcome to xamidi's Hub
Explore their open source contributions and projects
Powered by CheckMyGit
24
Total Repos
72
124
Followers
13
Years Active
Contributions
Total Contributions: 167
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Mon
Wed
Fri
Last 52 weeks of activity.
Proof theorist
Core Technologies
HTML JavaScript C++ C#
4 langs
HTML
50% JavaScript
25% C++
13% C#
13%Based on top 8 repos
Notable Projects
oneTBB
oneAPI Threading Building Blocks (oneTBB)
tbbmallocthreadingparallelism
6.5k
1.2k
pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
proof-theorypropositional-calculushpc
23
3
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 representation that is based on the Standard Galactic Alphabet and digits of the Alteran language of the Stargate franchise.
condensed-detachmentconverterformal-proofs
9
0
mmsolitaire
My contributions to Metamath's mmsolitaire project.
propositional-calculuspropositional-logiccondensed-detachment
6
0