tacticians-serverServer for Tacticians Online, written in Erlang. 2 hours
ataxiaTerrible DB system made by misusing the Mnesia API. 5 hours
jabberhive/gateway/discordGateway to Discord for JabberHive chatbots. 3 weeks
tacticians-clientWeb-based client for Tacticians Online, written in Elm. 4 weeks
tacticians-dataData for Tacticians Online. 2 months
tacticians-extensionHave your browser nag Tacticians Online for active battles. 7 months
jabberhive/filter/storageJabberHive filter that stores the STRING associated with any "Learn" request pas...11 months
hastabel-sol-printerPretty printer for HaStABeL sol.{mod,lvl} files. 11 months
hastabel2idpUse IDP as a model checker for HaStABeL. 11 months
hastabel(Ha)rdware (St)ructure (A)nd (Be)havior (L)ogic library. 11 months
ghdl2hastabelTurn ASTs from GHDL into HaStABeL models. 11 months
tabellionVerification tool for VHDL (or at least the prototype of one). 18 months
jabberhive/server/markov-k-ramK-order Markov Chain server for JabberHive chatbots. 20 months
jabberhive/gateway/cliGateway to the Command Line Interface for JabberHive chatbots. 20 months
jabberhive/filter/lowercaseJabberHive filter that turns the STRING component of "?RL", "?RLR", and "?RR" re...20 months
jabberhive/filter/limiterRandomized "?RLR" to "?RL" Filter for JabberHive chatbots. 20 months
jabberhive/gateway/ircGateway to the Internet Relay Chat for JabberHive chatbots. 20 months
jabberhive/filter/regexRegular expression based multiplexing Filter for JabberHive chatbots. 22 months
jabberhive/protocolDefinition of the protocol used by JabberHive chatbots. 2 years
zero-of-oneK-order Markov chain reply bot for IRC, precursor to JabberHive chatbots. 2 years
net2rdpConverts from Tina's NET format to the format used in an ISAE Supaero lecture. 3 years
calendarUnnamed repository; edit this file 'description' to name the repository. 3 years
relabsdTurns your input devices into joysticks by converting relative axes into absolut...3 years