Stars
- All languages
- Agda
- Batchfile
- Bluespec
- C
- C#
- C++
- CSS
- Elm
- Emacs Lisp
- Fennel
- Go
- HLSL
- HTML
- Haskell
- Java
- JavaScript
- Koka
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- MoonBit
- Nix
- OCaml
- Python
- QML
- Rocq Prover
- Rust
- SCSS
- SMT
- Sass
- Scala
- Scheme
- Shell
- Swift
- SystemVerilog
- TeX
- TypeScript
- Typst
- Verilog
- Vim Script
- Vue
- WebAssembly
- Zig
A collection of NixOS modules covering hardware quirks.
Atomic secret provisioning for NixOS based on sops
❄️ My nix config for both desktops(NixOS+macOS) and homelab servers(NixOS).
Pure and reproducible nix overlay of binary distributed rust toolchains
Modular, extensible and distro-agnostic Neovim configuration framework for Nix/NixOS
Wimpy's NixOS, nix-darwin & Home Manager Configurations ❄️
macOS as Code! A beginner-friendly nix-darwin + home-manager + flakes startup configuration. 一份易于理解的 nix-darwin 初始配置模板,专为新手制作.
Alternative Haskell Infrastructure for Nixpkgs
Nix flake for a fully declarative NixOS on Raspberry Pi
NixOS for Android Terminal (Android Virtualization Framework) [maintainers=@mkg20001]
Reproducible nix overlay of binary distributed MoonBit toolchains and LSP