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/vmsh
Shell into a virtualized linux, with your own tools
Mic92/alejandra
The Uncompromising Nix Code Formatter
Mic92/chainlink
node of the decentralized oracle network, bridging on and off-chain computation
Mic92/gcp-nixos
Example NixOS project
Mic92/HVM
A massively parallel, optimal functional runtime in Rust
Mic92/hydra
Hydra, the Nix-based continuous build system
Mic92/IHaskell
A Haskell kernel for the Jupyter project.
Mic92/jpetazzo.github.io
Mic92/mach-nix
Create highly reproducible python environments
Mic92/marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
Mic92/mobile-nixos-website
Mic92/nixcfg
My nix configuration(s), using flakes. It's my laptop, it's my servers, it's my everything, in code.
Mic92/NixOS-Guide
NixOS Guide. Learn all about the immutable Nix Operating System and the declarative Nix Expression Language.
Mic92/nixos-nanopc-t4
Notes and files necessary for running NixOS on NanoPC-T4
Mic92/nixos-slides
Slides for a Nix(OS) presentation
Mic92/nixpkgs-graph
Generate a graph from nixpkgs
Mic92/node-crawler
Attempts to crawl the Ethereum network of valid Ethereum execution nodes and visualizes them in a nice web dashboard.
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/polysemy
:gemini: higher-order, no-boilerplate monads
Mic92/proot
chroot, mount --bind, and binfmt_misc without privilege/setup for Linux
Mic92/python-eduvpn-client
Linux client for eduVPN
Mic92/ropfuscator
ROPfuscator is a fine-grained code obfuscation framework for C/C++ programs using ROP (return-oriented programming).
Mic92/starship
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
Mic92/stip-blog
Code for the stip blog
Mic92/tauri-docs
The source for all Tauri project documentation.
Mic92/telegram-bot-simple
Easy to use library for building Telegram bots in Haskell.
Mic92/terranix
terranix is a terraform.json generator with a nix-like feeling
Mic92/TiddlyDesktop
A custom desktop browser for TiddlyWiki 5 and TiddlyWiki Classic, based on nw.js
Mic92/Vesktop
Vesktop is a custom Discord App aiming to give you better performance and improve linux support
Mic92/zero-to-nix
Zero to Nix is your guide to learning Nix and flakes. Created by Determinate Systems.