Ondřej Míchal (HarryMichal)

HarryMichal

Geek Repo

Company:@Inuits

Location:Helsinki, Suomi

Home Page:https://harrymichal.undo.it

Github PK Tool:Github PK Tool


Organizations
containers

Ondřej Míchal's repositories

Language:C++License:MITStargazers:1Issues:2Issues:0

toolbox

Unprivileged development environment

Language:GoLicense:Apache-2.0Stargazers:1Issues:1Issues:0

12to8

A cli app for 9to5r

Language:GoLicense:Apache-2.0Stargazers:0Issues:1Issues:0

adwaita.nvim

Neovim colorscheme using Gnome Adwaita syntax

Language:LuaStargazers:0Issues:0Issues:0

airflow

Apache Airflow - A platform to programmatically author, schedule, and monitor workflows

License:Apache-2.0Stargazers:0Issues:0Issues:0

basicbigdata

An Intro to Big Data

License:Apache-2.0Stargazers:0Issues:0Issues:0

bats-assert

Common assertions for Bats

Language:ShellLicense:CC0-1.0Stargazers:0Issues:1Issues:0

bigdataplatforms

Materials of the Big Data Platforms course in Aalto (CS-E4640)

Language:PythonStargazers:0Issues:0Issues:0

common

Location for shared common files in github.com/containers repos.

License:Apache-2.0Stargazers:0Issues:0Issues:0

coq_nvim

Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0

fedora-coreos-config

Base configuration for Fedora CoreOS

Language:ShellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

flatpak-external-data-checker

A tool for checking if the external data used in Flatpak manifests is still up to date

Language:PythonLicense:GPL-2.0Stargazers:0Issues:1Issues:0

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:HTMLLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:1Issues:0

libqsgepaper-snoop

Extract the virtual framebuffer and damage-tracking information from reMarkable libqsgepaper.a

License:GPL-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

perun

Lightweight Performance Control System

License:GPL-3.0Stargazers:0Issues:0Issues:0

python-validity

Validity fingerprint sensor prototype

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

quick-lookup

Simple GTK dictionary application powered by Wiktionary

License:GPL-3.0Stargazers:0Issues:0Issues:0

rpm-ostree

⚛📦 Hybrid image/package system with atomic upgrades and package layering

License:NOASSERTIONStargazers:0Issues:0Issues:0

servo

The Servo Browser Engine

License:MPL-2.0Stargazers:0Issues:0Issues:0

silverblue-docs

Fedora Silverblue documentation (live on https://docs.fedoraproject.org/en-US/fedora-silverblue/)

Language:ShellStargazers:0Issues:1Issues:0

skopeo

Work with remote images registries - retrieving information, images, signing content

Language:GoLicense:Apache-2.0Stargazers:0Issues:1Issues:0

spinner

Go (golang) package with 80 configurable terminal spinner/progress indicators.

License:Apache-2.0Stargazers:0Issues:0Issues:0

spot

Native Spotify client for the GNOME desktop

License:MITStargazers:0Issues:0Issues:0

syscalls-table

Simple tool to generate HTML table of Linux system calls on different architectures

License:MITStargazers:0Issues:0Issues:0

tracy

Frame profiler

License:NOASSERTIONStargazers:0Issues:0Issues:0

unicorn

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

License:GPL-2.0Stargazers:0Issues:0Issues:0

zerolog

Zero Allocation JSON Logger

License:MITStargazers:0Issues:0Issues:0