Discover Mic92/robolab Open Source project by Jörg Thalheim (@Mic92)

A container debugging tool based on FUSE

1,439

cntr

Swiss-knife for updating nix packages.

542

nix-update

Spawns lightweight nixos vms in a shell

459

nixos-shell

Run unpatched dynamic binaries on NixOS

423

nix-ld

422

nixpkgs-review

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

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

383

python-mpd2

dotfiles

nix-fast-build

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

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

210

envfs

Shell into a virtualized linux, with your own tools

133

vmsh

Tasks to deploy Sidekiq with mina.

132

mina-sidekiq

A CI friendly wrapper around nix-build.

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

hue-ble-ctl

Control your Phillips Hue light bulb over bluetooth

Eval nix code from python

pythonix

C++

awesome-dotfiles

Configuration files of the window manager awesome

Lua

fast-flake-update

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

My personal NUR repository

nur-packages

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

Benchmark between nix, lix and tvix

nixican-standoff

Whois server for the dn42 registry

whois42d

ssh-to-pgp

Convert SSH RSA keys to GPG keys

utils

A set of lua modules I use in awesome wm.

Lua

stockholm

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

Personal templates i like to use.

bing-gpt-server

HTML

flake-templates

A fast dmenu-like gtk3 application launcher

valauncher

CMake

dlopen-resolver

Maintain dns records for connecting openvpn clients

openvpn-ddns

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

dream2nix-home-assistant

kvm-pirate

Attach to kvm-based VMs

Configuration of my collections of keyboards

mechanical-keyboards

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

systemd-ta

nix-build-shell

nixos-test-example

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

retiolum

server-bookings

Das inoffizielle Skript zur Vorlesung bei Prof. Schmidt

Algebra-I

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

nix-fmt

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

nixos-configuration

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

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

bors-gen-config

Generate bors.toml for github repositories

Better debugger breakpoints

int3

vtune-nix

Vtune nix package

My adventures using the bubbletea framework.

live-net-info

blog

Source of my blog

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

SWT_And_Programming

Programs/Stubs created during exercises at university.

Java

mpdstated

Auto restore recent position for each podcast in mpd.

Vala

bme680-mqtt

Publish BME680 sensor data to home-assistant via MQTT

Rust crate to resolve a container names/ids to PID

container-pid

Presentation slides for NixCon 2023 presentation on nixos-anywhere

nixcon2023-nixos-anywhere

systemd-user-units

nixos-wiki-redirector

disko-yubikey-demo

All my tiny scripts and stubs

scripts

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

lualdap

pcap-preload

Repository for nominating maintainers for Nixpkgs commit access

nixpkgs-committers

mic92.github.com

phd-website

HTML

ports

my freebsd ports

Makefile

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

fft

FFT Implementation for Tensilica DSP Processors

userborn-with-impermanence

Schedule nix jobsets in drone ci

drone-nix-scheduler

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

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