HarryMichal

Computer science student; Linux techie; open source enthusiast; anime/manga fan

NVIDIAHelsinki, Suomi

Pinned Repositories

ifj20compiler
Compiler for a subset of the Go programming language
Language:C3 2 10
podman
Podman: A tool for managing OCI containers and pods.
Language:Go25.7k 213 9.6k2.5k
toolbox
Tool for interactive command line environments on Linux
Language:Shell2.7k 36 671223
citadel
A turn based strategy game based on the Anura engine
Language:INI99 24 11625
org.gimp.GIMP
27 10 8418
anura
Anura Engine
Language:C1 1 00
citadel
A turn based strategy game based on the Anura engine
Language:INI1 1 00
fit-mqtt-explorer
Language:C++1 2 00
komorebi
A beautiful and customizable wallpapers manager for Linux
Language:Vala4 1 10
rstudio-flatpak
This is a flatpak for RStudio IDE
8 5 01

HarryMichal's Repositories

HarryMichal/fit-mqtt-explorer
Language:C++1 2 00
HarryMichal/toolbox
Unprivileged development environment
Language:Go1 1 0
HarryMichal/12to8
A cli app for 9to5r
Language:Go1 0
HarryMichal/adwaita.nvim
Neovim colorscheme using Gnome Adwaita syntax
Language:Lua0 0
HarryMichal/airflow
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
Language:Python0 0
HarryMichal/basicbigdata
An Intro to Big Data
Language:Jupyter Notebook0 0
HarryMichal/bats-assert
Common assertions for Bats
Language:Shell1 0
HarryMichal/bigdataplatforms
Materials of the Big Data Platforms course in Aalto (CS-E4640)
Language:Python0 0
HarryMichal/com.github.johnfactotum.QuickLookup
1 0
HarryMichal/common
Location for shared common files in github.com/containers repos.
Language:Go1 0
HarryMichal/coq_nvim
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
Language:Python1 0
HarryMichal/eqtools
Python tools for magnetic equilibria in tokamak plasmas
HarryMichal/fedora-coreos-config
Base configuration for Fedora CoreOS
Language:Shell1 0
HarryMichal/flatpak-external-data-checker
A tool for checking if the external data used in Flatpak manifests is still up to date
Language:Python1 0
HarryMichal/hugo-theme-hello-friend-ng
Pretty basic theme for Hugo that covers all of the essentials. All you have to do is start typing!
Language:HTML1 0
HarryMichal/libqsgepaper-snoop
Extract the virtual framebuffer and damage-tracking information from reMarkable libqsgepaper.a
Language:C1 0
HarryMichal/org.gimp.GIMP
1 0
HarryMichal/perun
Lightweight Performance Control System
Language:C1 0
HarryMichal/python-validity
Validity fingerprint sensor prototype
Language:Python1 0
HarryMichal/quick-lookup
Simple GTK dictionary application powered by Wiktionary
Language:JavaScript1 0
HarryMichal/rpm-ostree
⚛📦 Hybrid image/package system with atomic upgrades and package layering
Language:C1 0
HarryMichal/servo
The Servo Browser Engine
0 0
HarryMichal/skopeo
Work with remote images registries - retrieving information, images, signing content
Language:Go1 0
HarryMichal/spinner
Go (golang) package with 80 configurable terminal spinner/progress indicators.
Language:Go1 0
HarryMichal/spot
Native Spotify client for the GNOME desktop
Language:Rust1 0
HarryMichal/supernetes
Kubernetes bridge for Supercomputers
HarryMichal/syscalls-table
Simple tool to generate HTML table of Linux system calls on different architectures
HarryMichal/tracy
Frame profiler
Language:C++0 0
HarryMichal/unicorn
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
Language:C0 0
HarryMichal/zerolog
Zero Allocation JSON Logger
Language:Go1 0