Discover Mic92/mina-sidekiq Open Source project

A container debugging tool based on FUSE

1,081

cntr

Spawns lightweight nixos vms in a shell

542

nixos-shell

Run unpatched dynamic binaries on NixOS

423

nix-ld

422

nix-update

Swiss-knife for updating nix packages.

Python library which provides a client interface for the Music Player Daemon.

369

python-mpd2

Review pull-requests on https://github.com/NixOS/nixpkgs

342

nixpkgs-review

dotfiles

envfs

Fuse filesystem that returns symlinks to executables based on the PATH of the requesting process.

Shell into a virtualized linux, with your own tools

133

vmsh

Combine the power of nix-eval-jobs with nix-output-monitor to speed-up your evaluation and building process.

116

nix-fast-build

A CI friendly wrapper around nix-build.

105

nix-build-uncached

zig.ko

Linux kernel module written in Zig

Makefile

nixos-aarch64-images

Build NixOS images for various ARM single computer boards

Plain files for syscalls, errnos, signals, registers and x86_64 instructions

x86_64-linux-cheatsheats

pry.py - an interactive drop in shell for python, similar to binding.pry in ruby

pry.py

Convert SSH Ed25519 keys to age keys. This is useful for usage in sops-nix and sops

ssh-to-age

buildbot-nix

A nixos module to make buildbot a proper Nix-CI.

Control your Phillips Hue light bulb over bluetooth

hue-ble-ctl

Eval nix code from python

pythonix

C++

awesome-dotfiles

Configuration files of the window manager awesome

Lua

nur-packages

My personal NUR repository

Update flake.lock with the latest commit of a local checkout

fast-flake-update

Find duplicate dependencies in flakes

flake-linter

Ansible Connection Plugin for lxc containers (https://linuxcontainers.org/)

ansible-lxc

Build /etc/protocols and /etc/services files from IANA's Assigned Internet Protocol Numbers

iana-etc

log watcher for awesome wm

lognotify

Lua

nix-sysdig

Wrapper to debug sysdig builds

sinatra app to generate rss feeds with the latest git tags of a project on github

github-tags

Convert SSH RSA keys to GPG keys

ssh-to-pgp

whois42d

Whois server for the dn42 registry

bing-gpt-server

HTML

utils

A set of lua modules I use in awesome wm.

Lua

stockholm

Mirror of https://git.thalheim.io/Mic92/stockholm/

A fast dmenu-like gtk3 application launcher

valauncher

CMake

dlopen-resolver

Maintain dns records for connecting openvpn clients

openvpn-ddns

Personal templates i like to use.

flake-templates

kvm-pirate

Attach to kvm-based VMs

http://c3d2.de/news/ta-systemd.html

systemd-ta

nix-build-shell

Packaging experiments with dream2nix to package home-assistant with all dependencies.

dream2nix-home-assistant

Simulator for the course Robolab at TU Dresden

robolab

nixos-test-example

server-bookings

Das inoffizielle Skript zur Vorlesung bei Prof. Schmidt

Algebra-I

The content of this repo has been integrated into https://github.com/Mic92/dotfiles/

nixos-configuration

nix-fmt

abandoned in favor of https://github.com/orivej/go-nix and https://gitlab.com/jD91mZM2/rnix

OCaml

imap-notify

IMAP notifier using IMAP's NOTIFY SET

Resolve container id/name to container's process id

docker-pid

nftables

Mirror of netfilter/nftables

mpdtools

Usefull tools for MPD: mpdadd - Link and play files outside of the MPD directory to MPD. mpdmark - bookmark songs

attach to linux namespaces

nsattach

SWT_And_Programming

Programs/Stubs created during exercises at university.

Java

int3

Better debugger breakpoints

vtune-nix

Vtune nix package

My adventures using the bubbletea framework.

systemd-user-units

live-net-info

blog

Source of my blog

Generate bors.toml for github repositories

bors-gen-config

Folien und Code zum Themenabend über Nix/Nixos

themenabend-nixos

Integrate lxc container into machined

lxc-machined-start

company-tmux

emacs auto complete with content of tmux panes

Emacs Lisp

pgp-verify

Verify pgp signatures of files.

build-system-koans

mpdstated

Auto restore recent position for each podcast in mpd.

Vala

container-pid

Rust crate to resolve a container names/ids to PID

Publish BME680 sensor data to home-assistant via MQTT

bme680-mqtt

Presentation slides for NixCon 2023 presentation on nixos-anywhere

nixcon2023-nixos-anywhere

All my tiny scripts and stubs

scripts

fork of https://git.zx2c4.com/lualdap/ with lua5.3 support

lualdap

pcap-preload

Configuration of my k6 pro keyboard

mic92.github.com

keychron-keyboards

phd-website

ports

drone-convert-nix

webscraping-workshop

Folien und Code zum Webscraping workshop auf den Datenspuren 2015

qtile-config

A DynDNS Server interface in Haskell and Yesod

semeion

Haskell

hadoop-exercise

MapReduce Assignment 2015 at System Engineering II (TU Dresden)

Java

xfstests-cntr

Fork of xfstests with support for cntr

Move Filesystem ownership into other subordinated uid ranges

fuidshift

android-notifier

Automatically exported from code.google.com/p/android-notifier

Java

drone-nix-scheduler

Schedule nix jobsets in drone ci

FFT Implementation for Tensilica DSP Processors

fft

arch-package-feed

bottle.py based project to provide a more advanced arch package feed.

My PKGBUILDs of Packages I maintain in Archlinux AUR

PKGBUILDs

System service to dump Intel processor trace + memory after a crash.

tracedump

A solver for the logic game Japsum

Japanese-sum-solver