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