This MediaWiki extension hides Special Pages to non authenticated users.
Updated 2024-07-04 18:10:16 +02:00
This MediaWiki extension loads CSS based on authentication of user
Updated 2024-07-04 18:05:35 +02:00
This MediaWiki extension allows users to create spoiler tags that reveal content on click. <spoiler> I am a spoiler </spoiler>
Updated 2024-07-02 23:37:49 +02:00
Bump Server is an elixir based rest server that is used to communicate messages between clients
Updated 2023-07-11 11:03:42 +02:00
Android Client for Bump
Updated 2023-07-11 11:03:11 +02:00
Updated 2023-07-11 11:02:43 +02:00
A python client for bump service.
Updated 2023-03-03 11:26:37 +01:00
Updated 2022-11-19 00:48:15 +01:00
Updated 2022-03-31 11:10:22 +02:00
Updated 2021-09-20 08:06:57 +02:00
A file rotator script. Point it at a directory and specify the days, months, quarters, years to keep. Parses filenames with YYYYMMDD, leaves everything else alone,
Updated 2021-08-18 23:28:05 +02:00
Generates a shortened link to an url
Updated 2021-08-12 11:51:16 +02:00
Updated 2021-08-09 09:46:00 +02:00
Updated 2021-08-06 14:11:47 +02:00
Updated 2020-10-24 15:31:47 +02:00
Updated 2020-08-26 23:02:51 +02:00
Updated 2020-07-25 19:26:59 +02:00
This robot was designed and programmed by two colleagues and me: http://www.thingiverse.com/JRauer
Updated 2019-11-12 23:08:40 +01:00