index
Name
Description
Idle
ataxia
Terrible DB system made by misusing the Mnesia API.
3 years
calendar
Handled merging and splitting of all the calendars I had to deal with at the Uni...
7 years
codex-arcana
Collection of useful scripts & configuration files.
4 years
net2rdp
Converts from Tina's NET format to the format used in an ISAE Supaero lecture.
7 years
relabsd
Turns your input devices into joysticks by converting relative axes into absolut...
2 years
zero-of-one
K-order Markov chain reply bot for IRC, precursor to JabberHive chatbots.
6 years
HaStABeL & Tabellion
ghdl2hastabel
Turn ASTs from GHDL into HaStABeL models.
5 years
hastabel
(Ha)rdware (St)ructure (A)nd (Be)havior (L)ogic library.
5 years
hastabel-sol-printer
Pretty printer for HaStABeL sol.{mod,lvl} files.
5 years
hastabel2idp
Use IDP as a model checker for HaStABeL.
5 years
tabellion
Verification tool for VHDL (or at least the prototype of one).
6 years
JabberHive
jabberhive/filter/limiter
Randomized "?RLR" to "?RL" Filter for JabberHive chatbots.
6 years
jabberhive/filter/lowercase
JabberHive filter that turns the STRING component of "?RL", "?RLR", and "?RR" re...
6 years
jabberhive/filter/regex
Regular expression based multiplexing Filter for JabberHive chatbots.
6 years
jabberhive/filter/storage
JabberHive filter that stores the STRING associated with any "Learn" request pas...
5 years
jabberhive/filter/two-way-replace
JabberHive node mainly used to handle punctuation.
2 years
jabberhive/gateway/cli
Gateway to the Command Line Interface for JabberHive chatbots.
16 months
jabberhive/gateway/discord
Gateway to Discord for JabberHive chatbots.
2 years
jabberhive/gateway/irc
Gateway to the Internet Relay Chat for JabberHive chatbots.
16 months
jabberhive/protocol
Definition of the protocol used by JabberHive chatbots.
6 years
jabberhive/server/markov-k-ram
K-order Markov Chain server for JabberHive chatbots.
16 months
Tacticians Online
tacticians-client
Web-based client for Tacticians Online, written in Elm.
4 years
tacticians-data
Data for Tacticians Online.
4 years
tacticians-design
Design document(s) for Tacticians Online.
3 years
tacticians-extension
Have your browser nag Tacticians Online for active battles.
5 years
tacticians-server
Server for Tacticians Online, written in Erlang.
4 years
Tonkadur
tonkadur
Narrative scripting language, with a Lisp style syntax.
16 months
tonkadur-elm-interpreter
Elm interpreter for Tonkadur.
16 months
tonkadur-python-interpreter
Python3 interpreter for Tonkadur.
17 months
tonkadur-website
Content of Tonkadur's website.
17 months