Pinned Repositories
cntr
A container debugging tool based on FUSE
dotfiles
My NixOS dotfiles
nix-fast-build
Combine the power of nix-eval-jobs with nix-output-monitor to speed-up your evaluation and building process.
nix-update
Swiss-knife for updating nix packages.
nixos-shell
Spawns lightweight nixos vms in a shell
nixpkgs-review
Review pull-requests on https://github.com/NixOS/nixpkgs
python-mpd2
Python library which provides a client interface for the Music Player Daemon.
sops-nix
Atomic secret provisioning for NixOS based on sops
nix-direnv
A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]
nix-ld
Run unpatched dynamic binaries on NixOS [maintainer=@Mic92]
Mic92's Repositories
Mic92/clan-fact-generators
generate clan facts like everybody else
Mic92/agda
Agda is a dependently typed programming language / interactive theorem prover.
Mic92/awesome-neovim
Collections of awesome neovim plugins.
Mic92/beherbergung
Tools for ngos, organizing private hosting :blue_heart: :yellow_heart:
Mic92/buildbot-gitea
Buildbot plugin for integration with gitea.
Mic92/distrobox
Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available at: https://gitlab.com/89luca89/distrobox
Mic92/edk2
EDK II
Mic92/flake-awesome-neovim-plugins
Nix flake of Awesome Neovim plugins
Mic92/gitea
Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD
Mic92/jenkins-nix-ci
A NixOS module for Jenkins, optimized specifically for running projects using Nix.
Mic92/jpetazzo.github.io
Mic92/mach-nix
Create highly reproducible python environments
Mic92/mobile-nixos-website
Mic92/nil
Yet another language server for Nix
Mic92/nix-gaming
Gaming on Nix
Mic92/nixos-and-flakes-book
:hammer_and_wrench: :heart: Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 Flakes 吗？在寻找一份新手友好的教程？那你可来对地方了！
Mic92/nixpkgs-mozilla
mozilla related nixpkgs (extends nixos/nixpkgs repo)
Mic92/nixtract
A CLI tool to extract the graph of derivations from a Nix flake.
Mic92/oil
Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
Mic92/openssh-portable
Portable OpenSSH
Mic92/peps
Python Enhancement Proposals
Mic92/python-eduvpn-client
Linux client for eduVPN
Mic92/ripgrep-all
rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.
Mic92/SevDesk-Python-Client
A simplified and modern SevDesk python client
Mic92/sile
The SILE Typesetter — Simon’s Improved Layout Engine
Mic92/snowbridge
A trustless bridge between Polkadot and Ethereum
Mic92/stack
The Haskell Tool Stack
Mic92/syft
CLI tool and library for generating a Software Bill of Materials from container images and filesystems
Mic92/synapse
Synapse: Matrix homeserver written in Python/Twisted.
Mic92/website
The PINE64.org community website built with Hugo