Pinned Repositories
bternarytau.github.io
A blog about social choice theory, mathematics, futurism, video games, and more.
Economy-Simulator
A WIP Reddit economy bot implementation.
metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
MultipleClassPsiLab
An XCOM 2 mod that allows the Psi Lab to train classes besides the vanilla Psi Operative.
ResistanceWeaponUpgrades
An XCOM 2 mod that gives rewarded and purchased soldiers a chance to have a weapon upgrade already applied when they appear in the armory.
ResistanceWeaponUpgradesWotC
An XCOM 2 WotC mod that gives rewarded and purchased soldiers a chance to have a weapon upgrade already applied when they appear in the armory.
set.mm
Metamath source file for logic and set theory
taubot
A Reddit/Discord economy bot implementation.
taubot-old
A WIP Reddit economy bot implementation.
X2CommunityHighlander
BTernaryTau's Repositories
BTernaryTau/bternarytau.github.io
A blog about social choice theory, mathematics, futurism, video games, and more.
BTernaryTau/Economy-Simulator
A WIP Reddit economy bot implementation.
BTernaryTau/metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
BTernaryTau/MultipleClassPsiLab
An XCOM 2 mod that allows the Psi Lab to train classes besides the vanilla Psi Operative.
BTernaryTau/ResistanceWeaponUpgrades
An XCOM 2 mod that gives rewarded and purchased soldiers a chance to have a weapon upgrade already applied when they appear in the armory.
BTernaryTau/ResistanceWeaponUpgradesWotC
An XCOM 2 WotC mod that gives rewarded and purchased soldiers a chance to have a weapon upgrade already applied when they appear in the armory.
BTernaryTau/set.mm
Metamath source file for logic and set theory
BTernaryTau/taubot
A Reddit/Discord economy bot implementation.
BTernaryTau/taubot-old
A WIP Reddit economy bot implementation.
BTernaryTau/X2CommunityHighlander