Small VK userbot to substitute some message parts with other message parts, cross or underline text, and add images to a message

WARNING: “substitutions” are just text substitutions, while “attachments” are being added to the current message as attachments Also don’t forget to put your token in token.txt, you know… attachments.json SHOULD NOT BE FILLED MANUALLY!substitutions.json SHOULD BE FILLED MANUALLY! (format: {“pattern”: “substitution”, “pattern”: “substitution”, …}) uline and cross do not depend on any of the configs.If you surround some text with the uline macro, the text surrounded will be underlined,if you surround some text with the cross macro, the text surrounded […]

Read more

Generate (message) sequence diagrams from TLA+ state traces

This is a tool for generating sequence diagrams fromTLC state traces. It producesSVGs that look like: or like this PDF. This tool is licensed under the MIT license. Copyright: Erkki Seppälä [email protected] 2022 You can contact me also viaMatrix. What is TLA+? TLA+ (Temporal Logic of Actions+) is a way to describe the behavior ofan algorithm or a system at a high, yet in a very mathematicallyprecise manner. This allows one to reason about the system behavior ina more accurate […]

Read more

Lightweight asyncio compatible utilities for consuming broker messages

aio-message-handler A simple asyncio compatible consumer for handling amqp messages. Installation pip install aio-message-handler Usage example Simple consumer: import asyncio from aio_message_handler.consumer import Consumer async def main(): consumer = Consumer(“amqp://guest:[email protected]/”) @consumer.message_handler(exchange=”myexchange”, binding_key=”key”) async def handler(msg): print(‘received:’, msg.body) msg.ack() await consumer.start() asyncio.run(main())    

Read more