Projects

Here are some of my projects which you might find useful and/or interesting, as well as a short description of what they do and how they were built. Most of them are also available on my github page, so you can look at the source code.


PYPM - A python process manager

PyPM is a python-based simple process manager. It can easily be installed using pip and it allows you to run and monitor various processes, and keep them running even after closing a remote session like ssh. It is still in development, and some of the features that are likely to be added are automatic updating/restarting when a file is changed, so you can make real-time changes and version control using git.

This works by spawning a process which is not tied to your terminal instance, and running a local server. This server allows other instances to communicate with it and send commands, so you can still control it through a command line.



AO3 Python Interface

This project allows you to access AO3's information through Python. It provides abstractions for sessions, users, works, series and comments. Some of its core features include the ability to subscribe, bookmark and kudos works, as well as utilizing AO3's searching functionalities. It supports both authenticated and non-authenticated sessions. Because it is a Python package, it is also available at pypi.org.


MineScript

MineScript is a scripting language that aims to facilitate the creation of Minecraft datapacks. It has most of what you'd expect from a programming language: variables, loops, functions, recursion, etc... When compiled, it automatically creates a datapack that is ready to be loaded into a Minecraft world. For more info, visit github or the documentation page.

It is build using antlr4, which creates both the lexer and parser based on a given grammar. Variables are implemented using scoreboard objectives, and functions are just minecraft function files. Loops are created by using a function file and calling it from within itself, with an exit condition.



Discord Embed Generator

Discord Embed Generator is an online tool that allows you to create discord embeds in JSON format.

It can be converted into a discord.Embed object (in python) using this tool.