• Joined on 2019-11-27
Minimal Python language server based on Jedi 🍝🐍
Updated 2024-10-14 12:38:26 +02:00
Some of my scripts 💻
Updated 2024-09-13 15:00:09 +02:00
Minimalist podcast publishing platform, mostly a pretext to post garbage from IRC.
Updated 2024-09-01 22:38:27 +02:00
idre.xyz record label website source code 🎼🎶
Updated 2024-08-25 21:17:05 +02:00
Your untrustworthy mate for everyday insights.
Updated 2024-08-25 21:15:41 +02:00
Gemini browser for Android (WIP) ☄
Updated 2024-08-25 20:51:07 +02:00
Updated 2024-08-23 07:53:41 +02:00
Project Euler solutions 🧠
Updated 2024-08-20 20:36:01 +02:00
Publish stuff on the Web by piping it to a Unix domain socket.
Updated 2024-06-16 20:10:29 +02:00
Gather lists of stuff.
Updated 2024-06-16 18:37:12 +02:00
Stupid app #1: mirror photos.
Updated 2024-06-16 18:32:51 +02:00
JSON kludge to interface with Xfconf.
Updated 2024-06-16 18:24:45 +02:00
Retrieve and parse some content from scaruffi.com.
Updated 2024-06-16 18:01:07 +02:00
Gemini server for CGI
Updated 2024-06-16 17:51:25 +02:00
Tiny Git repository mirror tool.
Updated 2024-06-16 17:48:17 +02:00