index NameDescriptionOwnerIdle ataxiaTerrible DB system made by misusing the Mnesia API. Nathanael Sensfelder5 years calendarHandled merging and splitting of all the calendars I had to deal with at the Uni...Nathanael Sensfelder9 years codex-arcanaCollection of useful scripts & configuration files. Nathanael Sensfelder6 years net2rdpConverts from Tina's NET format to the format used in an ISAE Supaero lecture. Nathanael Sensfelder9 years relabsdTurns your input devices into joysticks by converting relative axes into absolut...Nathanael Sensfelder4 years zero-of-oneK-order Markov chain reply bot for IRC, precursor to JabberHive chatbots. Nathanael Sensfelder9 years HaStABeL & Tabellionghdl2hastabelTurn ASTs from GHDL into HaStABeL models. Nathanael Sensfelder7 years hastabel(Ha)rdware (St)ructure (A)nd (Be)havior (L)ogic library. Nathanael Sensfelder7 years hastabel-sol-printerPretty printer for HaStABeL sol.{mod,lvl} files. Nathanael Sensfelder7 years hastabel2idpUse IDP as a model checker for HaStABeL. Nathanael Sensfelder7 years tabellionVerification tool for VHDL (or at least the prototype of one). Nathanael Sensfelder8 years JabberHivejabberhive/filter/limiterRandomized "?RLR" to "?RL" Filter for JabberHive chatbots. Nathanael Sensfelder8 years jabberhive/filter/lowercaseJabberHive filter that turns the STRING component of "?RL", "?RLR", and "?RR" re...Nathanael Sensfelder8 years jabberhive/filter/regexRegular expression based multiplexing Filter for JabberHive chatbots. Nathanael Sensfelder8 years jabberhive/filter/storageJabberHive filter that stores the STRING associated with any "Learn" request pas...Nathanael Sensfelder7 years jabberhive/filter/two-way-replaceJabberHive node mainly used to handle punctuation. Nathanael Sensfelder4 years jabberhive/gateway/cliGateway to the Command Line Interface for JabberHive chatbots. Nathanael Sensfelder4 years jabberhive/gateway/discordGateway to Discord for JabberHive chatbots. Nathanael Sensfelder4 years jabberhive/gateway/ircGateway to the Internet Relay Chat for JabberHive chatbots. Nathanael Sensfelder4 years jabberhive/protocolDefinition of the protocol used by JabberHive chatbots. Nathanael Sensfelder8 years jabberhive/server/markov-k-ramK-order Markov Chain server for JabberHive chatbots. Nathanael Sensfelder4 years Tacticians Onlinetacticians-clientWeb-based client for Tacticians Online, written in Elm. Nathanael Sensfelder6 years tacticians-dataData for Tacticians Online. Nathanael Sensfelder6 years tacticians-designDesign document(s) for Tacticians Online. Nathanael Sensfelder6 years tacticians-extensionHave your browser nag Tacticians Online for active battles. Nathanael Sensfelder7 years tacticians-serverServer for Tacticians Online, written in Erlang. Nathanael Sensfelder6 years TonkadurtonkadurNarrative scripting language, with a Lisp style syntax. Nathanael Sensfelder4 years tonkadur-elm-interpreterElm interpreter for Tonkadur. Nathanael Sensfelder4 years tonkadur-python-interpreterPython3 interpreter for Tonkadur. Nathanael Sensfelder4 years tonkadur-websiteContent of Tonkadur's website. Nathanael Sensfelder4 years
