Roman's repositories
-NPRG056-android-lectures
Class material for lectures about Android development
aoc-2024
Advent of code 2024
bereal-data-transform
Filter, group and export your BeReal dump
hasqltable
Simple Querying over Tables in Haskell
helenos
A portable microkernel-based multiserver operating system written from scratch.
ImHex
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
keepassxc
KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.
learntla-v2
Learn TLA+ for free! No prior experience necessary!
mc-bedrock-mini-teleport
Custom teleport command for Minecraft Bedrock, for up-to-date version, visit the website
mobile
The mobile app vault (iOS and Android).
observability-mff-uk
A template repository for the Observability seminar on MFF UK
prolog-99
Some (quick & dirty) P-99 (https://www.ic.unicamp.br/~meidanis/courses/mc336/2009s2/prolog/problemas/) solutions
renaissance
The Renaissance Benchmark Suite
spotify-exporter
Export Spotify API data into various formats
uYouPlus
uYou+ is a modified version of uYou (made by @MiRO92) with additional features and mainly made for non jailbroken users!
vscode-promela
This Visual Studio Code extension provides syntax highlighting for the Promela language
vscodium-click-packaging
Code Editor by Microsoft (Click packaging)
webhook-rs
Discord Webhook API Wrapper for Rust.