Pinned Repositories
C5Bot
A Discord bot that hosts games of c5.
Chain-Replication-Spec
A specification for the Chain Replication protocol written in TLA+ (incomplete).
MafiaBot
A Discord bot that hosts games of mafia.
mothbothcrazy
First try at making a github.
mothbothcrazy
An irc bot that plays a mafia game.
MemeBot
A simple discord bot
Ultimate-Tic-Tac-Toe_Adversary
BigRedCoin
Experimental proof of work cryptocurrency, miner, p2p, consensus, and wallet management.
BigRedCoin
cosmoviola's Repositories
cosmoviola/C5Bot
A Discord bot that hosts games of c5.
cosmoviola/Chain-Replication-Spec
A specification for the Chain Replication protocol written in TLA+ (incomplete).
cosmoviola/MafiaBot
A Discord bot that hosts games of mafia.
cosmoviola/mothbothcrazy
First try at making a github.