Roman's repositories
-NPRG056-android-lectures
Class material for lectures about Android development
Language:KotlinApache-2.0000
bereal-data-transform
Filter, group and export your BeReal dump
Language:Rust000
Language:HTML000
hasqltable
Simple Querying over Tables in Haskell
Language:Shell000
Language:JavaScriptNOASSERTION000
Language:JavaScriptNOASSERTION000
mobile
The mobile app vault (iOS and Android).
GPL-3.0000
nprg077
Write your own tiny programming system(s)! Labs...
Language:F#000
observability-mff-uk
A template repository for the Observability seminar on MFF UK
BSD-3-Clause000
prolog-99
Some (quick & dirty) P-99 (https://www.ic.unicamp.br/~meidanis/courses/mc336/2009s2/prolog/problemas/) solutions
Language:HTML000
renaissance
The Renaissance Benchmark Suite
GPL-3.0000
spotify-exporter
Export Spotify API data into various formats
Language:Rust000
vscode-promela
This Visual Studio Code extension provides syntax highlighting for the Promela language
MIT000
vscodium-click-packaging
Code Editor by Microsoft (Click packaging)
MIT000
webhook-rs
Discord Webhook API Wrapper for Rust.
Language:RustMIT000