index
NameDescriptionIdle
codex-arcanaCollection of useful scripts & configuration files. 4 weeks
ataxiaTerrible DB system made by misusing the Mnesia API. 6 weeks
tacticians-designDesign document(s) for Tacticians Online. 7 weeks
tacticians-dataData for Tacticians Online. 8 weeks
tacticians-serverServer for Tacticians Online, written in Erlang. 2 months
tacticians-clientWeb-based client for Tacticians Online, written in Elm. 3 months
jabberhive/gateway/discordGateway to Discord for JabberHive chatbots. 8 months
tacticians-extensionHave your browser nag Tacticians Online for active battles. 14 months
jabberhive/filter/storageJabberHive filter that stores the STRING associated with any "Learn" request pas...18 months
hastabel-sol-printerPretty printer for HaStABeL sol.{mod,lvl} files. 18 months
hastabel2idpUse IDP as a model checker for HaStABeL. 18 months
hastabel(Ha)rdware (St)ructure (A)nd (Be)havior (L)ogic library. 18 months
ghdl2hastabelTurn ASTs from GHDL into HaStABeL models. 18 months
tabellionVerification tool for VHDL (or at least the prototype of one). 2 years
jabberhive/server/markov-k-ramK-order Markov Chain server for JabberHive chatbots. 2 years
jabberhive/gateway/cliGateway to the Command Line Interface for JabberHive chatbots. 2 years
jabberhive/filter/lowercaseJabberHive filter that turns the STRING component of "?RL", "?RLR", and "?RR" re...2 years
jabberhive/filter/limiterRandomized "?RLR" to "?RL" Filter for JabberHive chatbots. 2 years
jabberhive/gateway/ircGateway to the Internet Relay Chat for JabberHive chatbots. 2 years
jabberhive/filter/regexRegular expression based multiplexing Filter for JabberHive chatbots. 2 years
jabberhive/protocolDefinition of the protocol used by JabberHive chatbots. 3 years
zero-of-oneK-order Markov chain reply bot for IRC, precursor to JabberHive chatbots. 3 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...4 years